QScintilla/Editor.py

branch
5_4_x
changeset 3577
a51fd3a75493
parent 3575
f44bcac6e829
child 3584
e92f4aa860f6
diff -r f44bcac6e829 -r a51fd3a75493 QScintilla/Editor.py
--- a/QScintilla/Editor.py	Wed May 14 18:49:47 2014 +0200
+++ b/QScintilla/Editor.py	Thu May 15 18:45:31 2014 +0200
@@ -4653,7 +4653,8 @@
             self.menuActs["NewSplit"].setIcon(
                 UI.PixmapCache.getIcon("splitVertical.png"))
         
-        self.menuActs["Tools"].setEnabled(not self.toolsMenu.isEmpty())
+        if not self.isResourcesFile:
+            self.menuActs["Tools"].setEnabled(not self.toolsMenu.isEmpty())
         
         self.showMenu.emit("Main", self.menu,  self)
         

eric ide

mercurial