Fixed an issue with the Tools menu. 6_0_x

Fri, 02 Jan 2015 14:56:04 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 02 Jan 2015 14:56:04 +0100
branch
6_0_x
changeset 4030
c120b267fc0f
parent 4028
6d850872e3e0
child 4032
cca03ed87a9c

Fixed an issue with the Tools menu.
(grafted from 59ab6030869bd0e07caa48c404611b0b0baf6ea0)

QScintilla/Editor.py file | annotate | diff | comparison | revisions
diff -r 6d850872e3e0 -r c120b267fc0f QScintilla/Editor.py
--- a/QScintilla/Editor.py	Thu Jan 01 18:38:49 2015 +0100
+++ b/QScintilla/Editor.py	Fri Jan 02 14:56:04 2015 +0100
@@ -4742,8 +4742,6 @@
             self.menuActs["NewSplit"].setIcon(
                 UI.PixmapCache.getIcon("splitVertical.png"))
         
-        self.menuActs["Tools"].setEnabled(not self.toolsMenu.isEmpty())
-        
         self.showMenu.emit("Main", self.menu, self)
         
     def __showContextMenuAutocompletion(self):

eric ide

mercurial