86 e5App().getObject("ViewManager").editorOpenedEd.disconnect( |
86 e5App().getObject("ViewManager").editorOpenedEd.disconnect( |
87 self.__editorOpened) |
87 self.__editorOpened) |
88 e5App().getObject("ViewManager").editorClosedEd.disconnect( |
88 e5App().getObject("ViewManager").editorClosedEd.disconnect( |
89 self.__editorClosed) |
89 self.__editorClosed) |
90 |
90 |
91 for editor, act in self.__editors.items(): |
91 for editor, acts in self.__editors.items(): |
92 editor.showMenu.disconnect(self.__editorShowMenu) |
92 editor.showMenu.disconnect(self.__editorShowMenu) |
93 menu = editor.getMenu("Tools") |
93 menu = editor.getMenu("Tools") |
94 if menu is not None: |
94 if menu is not None: |
95 menu.removeAction(act) |
95 for act in acts: |
|
96 menu.removeAction(act) |
96 self.__editors = {} |
97 self.__editors = {} |
97 |
98 |
98 def __loadTranslator(self): |
99 def __loadTranslator(self): |
99 """ |
100 """ |
100 Private method to load the translation file. |
101 Private method to load the translation file. |
158 |
159 |
159 @param editor reference to the new editor (QScintilla.Editor) |
160 @param editor reference to the new editor (QScintilla.Editor) |
160 """ |
161 """ |
161 menu = editor.getMenu("Tools") |
162 menu = editor.getMenu("Tools") |
162 if menu is not None: |
163 if menu is not None: |
|
164 self.__editors[editor] = [] |
|
165 if not menu.isEmpty(): |
|
166 act = menu.addSeparator() |
|
167 self.__editors[editor].append(act) |
163 act = menu.addMenu(self.__menu) |
168 act = menu.addMenu(self.__menu) |
|
169 self.__editors[editor].append(act) |
164 editor.showMenu.connect(self.__editorShowMenu) |
170 editor.showMenu.connect(self.__editorShowMenu) |
165 self.__editors[editor] = act |
|
166 |
171 |
167 def __editorClosed(self, editor): |
172 def __editorClosed(self, editor): |
168 """ |
173 """ |
169 Private slot called, when an editor was closed. |
174 Private slot called, when an editor was closed. |
170 |
175 |