src/eric7/JediInterface/AssistantJedi.py

branch
eric7
changeset 9214
bd28e56047d7
parent 9209
b99e7fd55fd3
child 9221
bf71ee032bb4
equal deleted inserted replaced
9213:2bf743848d2f 9214:bd28e56047d7
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.

eric ide

mercurial