diff options
| author | Carl Hetherington <cth@carlh.net> | 2014-03-17 00:12:21 +0000 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2014-03-17 00:12:21 +0000 |
| commit | 2b7a21d1250423e5abc3b9e8fc912fb60bf7bf04 (patch) | |
| tree | dd90cfd399feda039ca7e6460428483557242b42 /src | |
| parent | d866b0f221d91decc667723cca1ca1bd9949e906 (diff) | |
Linux tweak.
Diffstat (limited to 'src')
| -rw-r--r-- | src/wx/config_dialog.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/wx/config_dialog.cc b/src/wx/config_dialog.cc index 4894c311f..8938c84f9 100644 --- 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)); |