Fixed an issue with the Tools menu.

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

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 02 Jan 2015 14:56:04 +0100
changeset 4029
59ab6030869b
parent 4026
10f27c323bcd
child 4031
be292b1bfa1a

Fixed an issue with the Tools menu.

QScintilla/Editor.py file | annotate | diff | comparison | revisions
--- a/QScintilla/Editor.py	Thu Jan 01 18:36:42 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