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

warsaw · warsaw · commit 6e7f6ea75694 · 1999-04-26T23:36:47.000Z
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
@@ -87,10 +87,9 @@ def __init__(self, version, switchboard, master=None):
         #
         # 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)

Original file line number	Diff line number	Diff line change
`@@ -87,10 +87,9 @@ def __init__(self, version, switchboard, master=None):`
`87`	`87`	`#`
`88`	`88`	`# Tie them all together`
`89`	`89`	`#`
`90`		`- if not modal:`
`91`		`- menubar.add_cascade(label='File',`
`92`		`- menu=filemenu,`
`93`		`- underline=0)`
	`90`	`+ menubar.add_cascade(label='File',`
	`91`	`+ menu=filemenu,`
	`92`	`+ underline=0)`
`94`	`93`	`menubar.add_cascade(label='View',`
`95`	`94`	`menu=viewmenu,`
`96`	`95`	`underline=0)`