Try to fix over-shrinky config dialog on OS X.

diff --git a/src/wx/config_dialog.cc b/src/wx/config_dialog.cc
index bd812cec1900ca3d081eee51354e2f134f261ee4..404e5ba17a2510678c34f98736cfb7d02f92e2ae 100644 (file)
--- a/src/wx/config_dialog.cc
+++ b/src/wx/config_dialog.cc
@@ -893,7 +893,7 @@ create_config_dialog ()
           the containing window doesn't shrink too much when we select those panels.
           This is obviously an unpleasant hack.
        */
-       wxSize ps = wxSize (480, -1);
+       wxSize ps = wxSize (520, -1);
        int const border = 16;
 #else
        wxSize ps = wxSize (-1, -1);