Anonymous

Index: xl/xlmisc.py===================================================================--- xl/xlmisc.py        (revision 2777)+++ xl/xlmisc.py        (working copy)@@ -635,6 +635,9 @@         """             Shows menu when user right-clicks on tab         """+        if event.type == gtk.gdk._2BUTTON_PRESS:+            self.rename(widget, event)+                     if event.button == 3:             self.create_menu()             self.menu.popup(None, None, None, event.button, event.time)