MenuEditor.st
changeset 2337 ff5a37df2a9c
parent 2334 dc1388cc7160
child 2341 5e96eeacf346
--- a/MenuEditor.st	Mon May 19 15:41:36 2008 +0200
+++ b/MenuEditor.st	Mon May 19 16:50:07 2008 +0200
@@ -3413,6 +3413,7 @@
               layout: (LayoutFrame 110 0 260 0 -5 1.0 282 0)
               activeHelpKey: fontMenu
               model: font
+                    allowSymbolicFonts: true
             )
            )