added do_setwindowfont() menu callback: brings up a font selection dialog. (jvr)
diff --git a/Mac/Tools/IDE/Wapplication.py b/Mac/Tools/IDE/Wapplication.py
index 3cfeb56..ed639fa 100644
--- a/Mac/Tools/IDE/Wapplication.py
+++ b/Mac/Tools/IDE/Wapplication.py
@@ -360,11 +360,19 @@
def getprefs(self):
import MacPrefs
return MacPrefs.GetPrefs(self.preffilepath)
-
+
def do_editorprefs(self, *args):
import PyEdit
PyEdit.EditorDefaultSettings()
+ def do_setwindowfont(self, *args):
+ import FontSettings, W
+ prefs = self.getprefs()
+ settings = FontSettings.FontDialog(prefs.defaultfont)
+ if settings:
+ prefs.defaultfont, tabsettings = settings
+ raise W.AlertError, "Note that changes will only affect new windows!"
+
class MenuBar(FrameWork.MenuBar):