Commit 311533d1 authored by Just van Rossum's avatar Just van Rossum

changed the default font

parent 4369abb4
......@@ -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):
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment