Fri, 02 Jan 2015 14:56:04 +0100
Fixed an issue with the Tools menu.
(grafted from 59ab6030869bd0e07caa48c404611b0b0baf6ea0)
QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/QScintilla/Editor.py Thu Jan 01 18:38:49 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):