Get rid of Edit menu

diff --git a/Tools/pynche/PyncheWidget.py b/Tools/pynche/PyncheWidget.py
index db04a2e3046b4b343a22cdf110ecea564b4c79ed..82b4097dbee032c76e800e9b38d6b4d1031a7daa 100644 (file)
--- a/Tools/pynche/PyncheWidget.py
+++ b/Tools/pynche/PyncheWidget.py
@@ -38,17 +38,6 @@ class PyncheWidget:
         root.bind('<Alt-q>', self.__quit)
         root.bind('<Alt-Q>', self.__quit)
         #
-        # Edit Menu
-        #
-       editbtn = Menubutton(menubar, text='Edit',
-                             underline=0)
-        editbtn.pack(side=LEFT)
-        editmenu = Menu(editbtn, tearoff=0)
-        editbtn['menu'] = editmenu
-       editmenu.add_command(label='Options...',
-                             command=self.__popup_options,
-                             underline=0)
-        #
         # Help menu
         #
         helpbtn = Menubutton(menubar, text='Help',
@@ -75,9 +64,6 @@ class PyncheWidget:
     def parent(self):
         return self.__root
 
-    def __popup_options(self, event=None):
-        print 'Options...'
-
     def __popup_about(self, event=None):
         tkMessageBox.showinfo('About Pynche 1.0',
                               '''\