diff options
| -rw-r--r-- | gtk/PlatGTK.cxx | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index 977aee7fa..490d96ddf 100644 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -821,11 +821,19 @@ Colour Platform::ChromeHighlight() { } const char *Platform::DefaultFont() { +#ifdef G_OS_WIN32 + return "Lucida Console"; +#else return "lucidatypewriter"; +#endif } int Platform::DefaultFontSize() { +#ifdef G_OS_WIN32 + return 10; +#else return 12; +#endif } unsigned int Platform::DoubleClickTime() { |