PluginColorString.py

changeset 18
a1e72b3e06cc
parent 17
b8fac5c059fb
child 20
ffe2ec016dfb
equal deleted inserted replaced
17:b8fac5c059fb 18:a1e72b3e06cc
91 self.__editorOpened) 91 self.__editorOpened)
92 e5App().getObject("ViewManager").editorClosedEd.disconnect( 92 e5App().getObject("ViewManager").editorClosedEd.disconnect(
93 self.__editorClosed) 93 self.__editorClosed)
94 94
95 for editor, acts in self.__editors.items(): 95 for editor, acts in self.__editors.items():
96 editor.showMenu.disconnect(self.__editorShowMenu)
96 menu = editor.getMenu("Tools") 97 menu = editor.getMenu("Tools")
97 if menu is not None: 98 if menu is not None:
98 for act in acts: 99 for act in acts:
99 menu.removeAction(act) 100 menu.removeAction(act)
100 self.__editors = {} 101 self.__editors = {}

eric ide

mercurial