127 |
127 |
128 menu = editor.getMenu("Main") |
128 menu = editor.getMenu("Main") |
129 if menu is not None: |
129 if menu is not None: |
130 checkAction = editor.getMenu("Checks").menuAction() |
130 checkAction = editor.getMenu("Checks").menuAction() |
131 act = menu.insertMenu(checkAction, self.__menu) |
131 act = menu.insertMenu(checkAction, self.__menu) |
132 sep = menu.insertSeparator(checkAction) |
132 self.__menuActions[editor] = [act] |
133 self.__menuActions[editor] = [act, sep] |
|
134 editor.showMenu.connect(self.__editorShowMenu) |
133 editor.showMenu.connect(self.__editorShowMenu) |
135 |
134 |
136 def __disconnectEditor(self, editor): |
135 def __disconnectEditor(self, editor): |
137 """ |
136 """ |
138 Private method to disconnect an editor. |
137 Private method to disconnect an editor. |