Stop double-click on the splitter divider from doing anything (#1601).

diff --git a/src/wx/content_panel.cc b/src/wx/content_panel.cc
index a860b007918d75adf99337f846a03942708c1a7d..f19887e59d1c9498187180840366efd75ae07774 100644 (file)
--- 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)