diff options
| author | nyamatongwe <unknown> | 2001-02-23 10:58:13 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2001-02-23 10:58:13 +0000 |
| commit | 8eba7303f9ba5f5a5807bf36958b684d7c018eaf (patch) | |
| tree | ce3fc7cab3a8f16b8bb0e753d618e5eb41647f43 | |
| parent | 5863a21f3aad5bdb13017cb8c4137d8a16fae9da (diff) | |
| download | scintilla-mirror-8eba7303f9ba5f5a5807bf36958b684d7c018eaf.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() { |