diff -r fef02b3fdc32 -r c928af9fce32 ViewManager/ViewManager.py --- 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()