Fixed another silly issue in the editor.

Thu, 15 May 2014 18:45:07 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 15 May 2014 18:45:07 +0200
changeset 3576
83b535c23264
parent 3574
02e33bcddeeb
child 3578
e55d32585d08
child 3579
eccd12461319

Fixed another silly issue in the editor.

QScintilla/Editor.py file | annotate | diff | comparison | revisions
--- a/QScintilla/Editor.py	Wed May 14 18:49:25 2014 +0200
+++ b/QScintilla/Editor.py	Thu May 15 18:45:07 2014 +0200
@@ -4737,7 +4737,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