Linux tweak.

diff --git a/src/wx/config_dialog.cc b/src/wx/config_dialog.cc
index 4894c311fee955b668be1e1542f9343b4903a4e8..8938c84f949070a821791d88ec6a9baa26b752ca 100644 (file)
--- a/src/wx/config_dialog.cc
+++ b/src/wx/config_dialog.cc
@@ -721,10 +721,11 @@ create_config_dialog ()
           This is obviously an unpleasant hack.
        */
        wxSize ps = wxSize (480, -1);
+       int const border = 16;
 #else
        wxSize ps = wxDefaultSize;
+       int const border = 8;
 #endif
-       int const border = 16;
        
        e->AddPage (new GeneralPage (ps, border));
        e->AddPage (new DefaultsPage (ps, border));