diff options
| author | nyamatongwe <devnull@localhost> | 2001-02-23 10:58:13 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2001-02-23 10:58:13 +0000 |
| commit | f393ef3f1abdf39dce52c8fcf416edcbfc5d4438 (patch) | |
| tree | ce3fc7cab3a8f16b8bb0e753d618e5eb41647f43 | |
| parent | 2337bf3bc8e14d24d3e4b33ac8ef8e43d8811a64 (diff) | |
| download | scintilla-mirror-f393ef3f1abdf39dce52c8fcf416edcbfc5d4438.tar.gz | |
Patch from John to have a better default font on GTK+/Windows.
| -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() { |