99 self.__editorOpened) |
99 self.__editorOpened) |
100 e5App().getObject("ViewManager").editorClosedEd.disconnect( |
100 e5App().getObject("ViewManager").editorClosedEd.disconnect( |
101 self.__editorClosed) |
101 self.__editorClosed) |
102 |
102 |
103 for editor, acts in self.__editors.items(): |
103 for editor, acts in self.__editors.items(): |
|
104 editor.showMenu.connect(self.__editorShowMenu) |
104 menu = editor.getMenu("Tools") |
105 menu = editor.getMenu("Tools") |
105 if menu is not None: |
106 if menu is not None: |
106 for act in acts: |
107 for act in acts: |
107 menu.removeAction(act) |
108 menu.removeAction(act) |
108 self.__editors = {} |
109 self.__editors = {} |