--- 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: