Re-fixed the recent editor issue.

Sat, 17 May 2014 11:43:07 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 17 May 2014 11:43:07 +0200
changeset 3583
3e8e0346d639
parent 3582
49f9c3695ef5
child 3585
f09a457c83fe

Re-fixed the recent editor issue.

QScintilla/Editor.py file | annotate | diff | comparison | revisions
--- a/QScintilla/Editor.py	Sat May 17 11:25:53 2014 +0200
+++ b/QScintilla/Editor.py	Sat May 17 11:43:07 2014 +0200
@@ -620,12 +620,12 @@
             self.menuShow = self.__initContextMenuShow()
             self.graphicsMenu = self.__initContextMenuGraphics()
             self.autocompletionMenu = self.__initContextMenuAutocompletion()
-            self.toolsMenu = self.__initContextMenuTools()
             self.__menus["Checks"] = self.checksMenu
             self.__menus["Show"] = self.menuShow
             self.__menus["Graphics"] = self.graphicsMenu
             self.__menus["Autocompletion"] = self.autocompletionMenu
-            self.__menus["Tools"] = self.toolsMenu
+        self.toolsMenu = self.__initContextMenuTools()
+        self.__menus["Tools"] = self.toolsMenu
         self.exportersMenu = self.__initContextMenuExporters()
         self.__menus["Exporters"] = self.exportersMenu
         self.eolMenu = self.__initContextMenuEol()
@@ -730,8 +730,8 @@
             self.menuActs["Show"] = self.menu.addMenu(self.menuShow)
             self.menu.addSeparator()
             self.menuActs["Diagrams"] = self.menu.addMenu(self.graphicsMenu)
-            self.menu.addSeparator()
-            self.menuActs["Tools"] = self.menu.addMenu(self.toolsMenu)
+        self.menu.addSeparator()
+        self.menuActs["Tools"] = self.menu.addMenu(self.toolsMenu)
         self.menu.addSeparator()
         self.menu.addAction(
             UI.PixmapCache.getIcon("documentNewView.png"),
@@ -4737,8 +4737,7 @@
             self.menuActs["NewSplit"].setIcon(
                 UI.PixmapCache.getIcon("splitVertical.png"))
         
-        if not self.isResourcesFile:
-            self.menuActs["Tools"].setEnabled(not self.toolsMenu.isEmpty())
+        self.menuActs["Tools"].setEnabled(not self.toolsMenu.isEmpty())
         
         self.showMenu.emit("Main", self.menu, self)
         

eric ide

mercurial