From cd4e040a1828b83809b555a99b529fcb0f395656 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Thu, 5 Sep 2019 00:28:32 +0100 Subject: [PATCH] Stop double-click on the splitter divider from doing anything (#1601). --- src/wx/content_panel.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/wx/content_panel.cc b/src/wx/content_panel.cc index a860b0079..f19887e59 100644 --- a/src/wx/content_panel.cc +++ b/src/wx/content_panel.cc @@ -69,7 +69,10 @@ public: LimitedSplitter (wxWindow* parent) : wxSplitterWindow (parent, wxID_ANY, wxDefaultPosition, wxDefaultSize, wxSP_NOBORDER | wxSP_3DSASH | wxSP_LIVE_UPDATE) { - + /* This value doesn't really mean much but we just want to stop double-click on the + divider from shrinking the bottom panel (#1601). + */ + SetMinimumPaneSize (64); } bool OnSashPositionChange (int new_position) -- 2.30.2