From d80f24189d8722d079d26b0f6b49afeb97cc5f19 Mon Sep 17 00:00:00 2001 From: Simon Rozman Date: Thu, 1 Jun 2017 19:58:16 +0200 Subject: [PATCH] wxAuiManagerUpdatePerspectiveCaptions() extended to reset best/min/max panel sizes to allow resize on GUI changes across different versions. --- src/framemanager.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/framemanager.cpp b/src/framemanager.cpp index 0368f05..2d80f9e 100644 --- a/src/framemanager.cpp +++ b/src/framemanager.cpp @@ -79,6 +79,11 @@ bool WXEXTEND_API wxAuiManagerUpdatePerspectiveCaptions(wxAuiManager& mgr, wxStr // Update 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. result += mgr.SavePaneInfo(pane) + wxT('|'); }