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 = {} |