--- a/ViewManager/ViewManager.py Mon Oct 16 19:10:00 2017 +0200 +++ b/ViewManager/ViewManager.py Mon Oct 16 19:10:53 2017 +0200 @@ -2770,6 +2770,7 @@ menu.addSeparator() menu.addMenu(autocompletionMenu) menu.addAction(self.calltipsAct) + menu.addAction(self.codeInfoAct) menu.addSeparator() menu.addMenu(searchMenu) menu.addSeparator()