From: Barry Warsaw <barry@python.org>
Date: Thu, 1 Oct 1998 03:06:04 +0000 (+0000)
Subject: Get rid of Edit menu
X-Git-Tag: v1.5.2a2~214
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=03e8a31eb3b4bbd3e349ce04629acf78ab0b70f8;p=thirdparty%2FPython%2Fcpython.git

Get rid of Edit menu
---

diff --git a/Tools/pynche/PyncheWidget.py b/Tools/pynche/PyncheWidget.py
index db04a2e3046b..82b4097dbee0 100644
--- 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',
                               '''\