diff options
| author | Carl Hetherington <cth@carlh.net> | 2019-09-05 00:28:32 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2019-09-05 00:28:32 +0100 |
| commit | cd4e040a1828b83809b555a99b529fcb0f395656 (patch) | |
| tree | 7a31f50b9a38442a586241cc454e75cbd917b130 | |
| parent | 736de27b986ead2f7c2f8336eace26ac549a166f (diff) | |
Stop double-click on the splitter divider from doing anything (#1601).v2.15.17
| -rw-r--r-- | src/wx/content_panel.cc | 5 |
1 files changed, 4 insertions, 1 deletions
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) |