UI/UserInterface.py

changeset 4398
a86ce24f2398
parent 4396
17373689237b
child 4414
5caf22e10678
--- a/UI/UserInterface.py	Thu Aug 27 17:21:28 2015 +0200
+++ b/UI/UserInterface.py	Thu Aug 27 17:45:22 2015 +0200
@@ -3346,10 +3346,6 @@
         """
         Private slot to show the Plugin Tools menu.
         """
-        # TODO: This doesn't work on Mac OS X with Qt compiled against
-        # Cocoa anymore
-        # TODO: Change tools plug-ins to populate the menu statically
-        # and just enabled the actions/menus accordingly
         self.showMenu.emit("PluginTools", self.__menus["plugin_tools"])
         
     def __showUserToolsMenu(self):

eric ide

mercurial