Project/Project.py

changeset 30
9513afbd57f1
parent 18
3b1f5d872fd7
child 40
c2e5472b112c
--- a/Project/Project.py	Thu Jan 07 13:13:31 2010 +0000
+++ b/Project/Project.py	Thu Jan 07 13:42:05 2010 +0000
@@ -4200,8 +4200,9 @@
                 os.path.isfile("%s.profile" % basename) or \
                 os.path.isfile("%s.profile" % tbasename))
             self.codeCoverageAct.setEnabled(\
-                os.path.isfile("%s.coverage" % basename) or \
-                os.path.isfile("%s.coverage" % tbasename))
+                self.pdata["PROGLANGUAGE"][0] == "Python3" and \
+                (os.path.isfile("%s.coverage" % basename) or \
+                 os.path.isfile("%s.coverage" % tbasename)))
         else:
             self.codeProfileAct.setEnabled(False)
             self.codeCoverageAct.setEnabled(False)

eric ide

mercurial