diff options
Diffstat (limited to 'src/wx/content_panel.cc')
| -rw-r--r-- | src/wx/content_panel.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/wx/content_panel.cc b/src/wx/content_panel.cc index 0fd21ff86..8b6b02316 100644 --- a/src/wx/content_panel.cc +++ b/src/wx/content_panel.cc @@ -801,6 +801,16 @@ ContentPanel::panels () const } +LimitedSplitter::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); +} + + void LimitedSplitter::first_shown (wxWindow* top, wxWindow* bottom) { |