From 03e8a31eb3b4bbd3e349ce04629acf78ab0b70f8 Mon Sep 17 00:00:00 2001
From: Barry Warsaw <barry@python.org>
Date: Thu, 1 Oct 1998 03:06:04 +0000
Subject: Get rid of Edit menu

---
 Tools/pynche/PyncheWidget.py | 14 --------------
 1 file changed, 14 deletions(-)

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 @@ 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',
                               '''\
-- 
cgit v0.12