diff options
Diffstat (limited to 'src')
| -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) |