Add primitive customization of window size and font.

gvanrossum · gvanrossum · commit 99aabe30cedd · 2000-02-17T16:14:16.000Z
A few alternative selections can be made by changing "if 0" to "if 1".
diff --git a/Tools/idle/EditorWindow.py b/Tools/idle/EditorWindow.py
@@ -9,6 +9,23 @@
 import idlever
 import WindowList
 
+# Customization of default window size and font
+# standard
+WIDTH = 80
+HEIGHT = 24
+if sys.platform[:3] == 'win':
+    FONT = ("courier new", 10)
+else:
+    FONT = ("courier", 10)
+if 0:
+    # for demos (on Windows)
+    WIDTH = 70
+    HEIGHT = 16
+    FONT = ("lucida console", 14)
+if 0:
+    # for Windows 98
+    FONT = ("lucida console", 8)
+
 # The default tab setting for a Text widget, in average-width characters.
 TK_TABWIDTH_DEFAULT = 8
 
@@ -109,6 +126,7 @@ def __init__(self, flist=None, filename=None, key=None, root=None):
                                 highlightcolor=cprefs.CHilite[0],
                                 highlightbackground=cprefs.CHilite[1],
                                 insertbackground=cprefs.CCursor[1],
+                                width=WIDTH, height=HEIGHT,
                                 wrap="none")
 
         self.createmenubar()
@@ -138,9 +156,7 @@ def __init__(self, flist=None, filename=None, key=None, root=None):
         vbar.pack(side=RIGHT, fill=Y)
 
         text['yscrollcommand'] = vbar.set
-        if sys.platform[:3] == 'win':
-            text['font'] = ("lucida console", 8)
-#            text['font'] = ("courier new", 10)
+        text['font'] = FONT
         text_frame.pack(side=LEFT, fill=BOTH, expand=1)
         text.pack(side=TOP, fill=BOTH, expand=1)
         text.focus_set()
