Add some more space for macOS preferences icons.

diff --git a/src/wx/full_config_dialog.cc b/src/wx/full_config_dialog.cc
index 77f173d7cd67cebad5c34ef7418d726a211ffe57..4c26d038c671d6611f322fdce2f52cc956640245 100644 (file)
--- a/src/wx/full_config_dialog.cc
+++ b/src/wx/full_config_dialog.cc
@@ -1935,7 +1935,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 (750, -1);
+       wxSize ps = wxSize(900, -1);
        int const border = 16;
 #else
        wxSize ps = wxSize (-1, -1);