PluginMetricsRadon.py

changeset 11
de8cadbd6a41
parent 10
8b1920a22df3
child 12
32a3c9d62e90
--- a/PluginMetricsRadon.py	Fri Sep 18 19:46:57 2015 +0200
+++ b/PluginMetricsRadon.py	Fri Sep 18 19:51:37 2015 +0200
@@ -406,6 +406,7 @@
         if menu:
             if not menu.isEmpty():
                 act = menu.addSeparator()
+                # TODO: change this to a 'header' action with bold text
                 act.setText(self.tr("Radon"))
                 self.__projectSeparatorActs.append(act)
             

eric ide

mercurial