diff -r b3ce8b110486 -r ff5a37df2a9c MenuEditor.st
--- 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
             )
            )