Hacky fix for too-small configuration dialog on Linux.

diff --git a/src/wx/config_dialog.cc b/src/wx/config_dialog.cc
index baf455c3b6cb3d93b6790521ccc35ab5a9f2f23e..e7133a534a7dc5cc808066ebce4dbaba5eb5dcf0 100644 (file)
--- a/src/wx/config_dialog.cc
+++ b/src/wx/config_dialog.cc
@@ -743,7 +743,10 @@ create_config_dialog ()
        wxSize ps = wxSize (480, -1);
        int const border = 16;
 #else
-       wxSize ps = wxDefaultSize;
+       /* We seem to need to specify height here, otherwise the general panel
+          is too short (at least on Linux).
+        */
+       wxSize ps = wxSize (-1, 400);
        int const border = 8;
 #endif