Fri, 02 Jan 2015 20:19:55 +0100
Bug fix.
PluginColorString.py | file | annotate | diff | comparison | revisions | |
PluginColorString.zip | file | annotate | diff | comparison | revisions |
--- a/PluginColorString.py Fri Jan 02 17:07:54 2015 +0100 +++ b/PluginColorString.py Fri Jan 02 20:19:55 2015 +0100 @@ -93,6 +93,7 @@ self.__editorClosed) for editor, acts in self.__editors.items(): + editor.showMenu.disconnect(self.__editorShowMenu) menu = editor.getMenu("Tools") if menu is not None: for act in acts: