Correct deafult GUI font is now found when querying

wxSystemSetting. Hack. git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@5231 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
2000-01-04 14:34:03 +00:00
parent 27e2ed8185
commit c79853685d
4 changed files with 38 additions and 20 deletions
--- a/src/gtk1/settings.cpp
+++ b/src/gtk1/settings.cpp
@@ -186,7 +186,7 @@ wxFont wxSystemSettings::GetSystemFont( int index )
        case wxSYS_DEFAULT_GUI_FONT:
        {
            if (!g_systemFont)
-                g_systemFont = new wxFont( 16, wxSWISS, wxNORMAL, wxNORMAL );
+                g_systemFont = new wxFont( 12, wxSWISS, wxNORMAL, wxNORMAL );
            return *g_systemFont;
        }
    }