--- a/src/eric7/JediInterface/AssistantJedi.py Mon Jul 11 16:09:04 2022 +0200 +++ b/src/eric7/JediInterface/AssistantJedi.py Mon Jul 11 16:42:50 2022 +0200 @@ -129,8 +129,7 @@ if menu is not None: checkAction = editor.getMenu("Checks").menuAction() act = menu.insertMenu(checkAction, self.__menu) - sep = menu.insertSeparator(checkAction) - self.__menuActions[editor] = [act, sep] + self.__menuActions[editor] = [act] editor.showMenu.connect(self.__editorShowMenu) def __disconnectEditor(self, editor):