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:29:12 +0100 |
| commit | aecb5f5a8f65f1d0f50b5861497c067adcd1f0d0 (patch) | |
| tree | e3855d5488ddd68a59c4896aa4c7e5b2f7ec5103 | |
| parent | c8d369f27ae1725abb241ac2fba425509a4e55d2 (diff) | |
Stop double-click on the splitter divider from doing anything (#1601).
Backported from cd4e040a1828b83809b555a99b529fcb0f395656 in v2.15.x.
| -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 82caaf1ff..d22e45401 100644 --- a/src/wx/content_panel.cc +++ b/src/wx/content_panel.cc @@ -68,7 +68,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) |