QScintilla/Editor.py

changeset 4376
7847a37ee71d
parent 4304
f85965649066
child 4382
a65947c8832d
--- a/QScintilla/Editor.py	Mon Aug 17 13:17:39 2015 +0200
+++ b/QScintilla/Editor.py	Wed Aug 19 11:00:48 2015 +0200
@@ -4981,6 +4981,8 @@
             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