wxAuiManagerUpdatePerspectiveCaptions() extended to reset best/min/max panel sizes to allow resize on GUI changes across different versions.
This commit is contained in:
parent
aa39edfe90
commit
d80f24189d
@ -79,6 +79,11 @@ bool WXEXTEND_API wxAuiManagerUpdatePerspectiveCaptions(wxAuiManager& mgr, wxStr
|
|||||||
// Update caption.
|
// Update caption.
|
||||||
pane.caption = p.caption;
|
pane.caption = p.caption;
|
||||||
|
|
||||||
|
// Reset best/min/max sizes to allow resize on GUI changes across different versions.
|
||||||
|
pane.best_size = p.best_size;
|
||||||
|
pane.min_size = p.min_size;
|
||||||
|
pane.max_size = p.max_size;
|
||||||
|
|
||||||
// Re-generate and append pane info.
|
// Re-generate and append pane info.
|
||||||
result += mgr.SavePaneInfo(pane) + wxT('|');
|
result += mgr.SavePaneInfo(pane) + wxT('|');
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user