Put the 'File' menu on the menubar even when modal, so users can get

to the 'load palette' entry.   Just don't put the quit button on
there.

diff --git a/Tools/pynche/PyncheWidget.py b/Tools/pynche/PyncheWidget.py
index 810b7ab6651ef4d470a97c78d53c85b1355e8079..6e087e3b4628599ada25bac3f868f60ac5c29ffd 100644 (file)
--- a/Tools/pynche/PyncheWidget.py
+++ b/Tools/pynche/PyncheWidget.py
@@ -87,10 +87,9 @@ class PyncheWidget:
         #
         # Tie them all together
         #
-        if not modal:
-            menubar.add_cascade(label='File',
-                                menu=filemenu,
-                                underline=0)
+        menubar.add_cascade(label='File',
+                            menu=filemenu,
+                            underline=0)
         menubar.add_cascade(label='View',
                             menu=viewmenu,
                             underline=0)