ViewManager/ViewManager.py

changeset 5907
c928af9fce32
parent 5905
f31960634997
child 5911
0c7bcba51391
--- 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()

eric ide

mercurial