From f393ef3f1abdf39dce52c8fcf416edcbfc5d4438 Mon Sep 17 00:00:00 2001
From: nyamatongwe <devnull@localhost>
Date: Fri, 23 Feb 2001 10:58:13 +0000
Subject: Patch from John to have a better default font on GTK+/Windows.

---
 gtk/PlatGTK.cxx | 8 ++++++++
 1 file changed, 8 insertions(+)

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() {
-- 
cgit v1.2.3