wxAuiManagerUpdatePerspectiveCaptions() extended to reset floating sizes of non-resizable panels to allow resize on GUI changes across different versions.

This commit is contained in:
Simon Rozman 2017-07-12 14:13:09 +02:00
parent d80f24189d
commit c9e1657427

View File

@ -84,6 +84,11 @@ bool WXEXTEND_API wxAuiManagerUpdatePerspectiveCaptions(wxAuiManager& mgr, wxStr
pane.min_size = p.min_size;
pane.max_size = p.max_size;
if ((pane.state & wxAuiPaneInfo::optionResizable) == 0) {
// Reset floating size to allow resize on GUI changes across different versions for non-resizeable panes.
pane.floating_size = p.floating_size;
}
// Re-generate and append pane info.
result += mgr.SavePaneInfo(pane) + wxT('|');
}