Try to improve splitter behaviour when shrinking and then enlarging

the main window (#1839).

1 files changed, 6 insertions, 0 deletions

diff --git a/src/wx/content_panel.h b/src/wx/content_panel.h
index 52a7e9f3c..df5c58ebd 100644
--- a/src/wx/content_panel.h
+++ b/src/wx/content_panel.h
@@ -54,6 +54,12 @@ public:
 	}
 
 	void first_shown (wxWindow* top, wxWindow* bottom);
+
+private:
+	void sized (wxSizeEvent& ev);
+
+	bool _first_shown;
+	int const _top_panel_minimum_size;
 };