commit 03e8a31eb3b4bbd3e349ce04629acf78ab0b70f8
author Barry Warsaw <barry@python.org> Thu Oct 01 03:06:04 1998 +0000
committer Barry Warsaw <barry@python.org> Thu Oct 01 03:06:04 1998 +0000
tree 6d266d77fa7c708e85df8708de6df4b61def2b0a
parent 0fa6e4b421ef6c8f8d782a9aa214c449e6a580dd

Get rid of Edit menu

Tools/pynche/PyncheWidget.py

diff --git a/Tools/pynche/PyncheWidget.py b/Tools/pynche/PyncheWidget.py
index db04a2e..82b4097 100644
--- a/Tools/pynche/PyncheWidget.py
+++ b/Tools/pynche/PyncheWidget.py
@@ -38,17 +38,6 @@
         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 @@
     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',
                               '''\