From 3160d95a73faa6033e5de9fb96ded1888d73a5d0 Mon Sep 17 00:00:00 2001 From: Just van Rossum Date: Fri, 2 Nov 2001 19:22:55 +0000 Subject: [PATCH] changed the default font --- Mac/Tools/IDE/W.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mac/Tools/IDE/W.py b/Mac/Tools/IDE/W.py index cdf153d1420..22b1ea1daed 100644 --- a/Mac/Tools/IDE/W.py +++ b/Mac/Tools/IDE/W.py @@ -27,7 +27,7 @@ def getapplication(): def getdefaultfont(): prefs = getapplication().getprefs() if not prefs.defaultfont: - prefs.defaultfont = ("Python-Sans", 0, 9, (0, 0, 0)) + prefs.defaultfont = ("Geneva", 0, 10, (0, 0, 0)) return prefs.defaultfont def Message(text):