Make the prefs window a little wider on macOS to (hopefully) fit all the icons in...

diff --git a/src/wx/full_config_dialog.cc b/src/wx/full_config_dialog.cc
index 038a7514686c0ae0975723c18a3bbd7faac76fc2..db499f575118b0294f1db6079a4222f7cf9fe3fc 100644 (file)
--- a/src/wx/full_config_dialog.cc
+++ b/src/wx/full_config_dialog.cc
@@ -1645,7 +1645,7 @@ create_full_config_dialog ()
           the containing window doesn't shrink too much when we select those panels.
           This is obviously an unpleasant hack.
        */
-       wxSize ps = wxSize (700, -1);
+       wxSize ps = wxSize (750, -1);
        int const border = 16;
 #else
        wxSize ps = wxSize (-1, -1);