diff options
Diffstat (limited to 'gtk/PlatGTK.cxx')
| -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() { | 
