Project/Project.py

changeset 1239
697757468865
parent 1172
a183f45d3553
child 1491
985c5abc8226
--- a/Project/Project.py	Fri Aug 26 19:38:24 2011 +0200
+++ b/Project/Project.py	Sat Aug 27 11:50:54 2011 +0200
@@ -198,7 +198,7 @@
             "Python2": Preferences.getPython("PythonExtensions"),
             "Python3": Preferences.getPython("Python3Extensions"),
             "Ruby": ['.rb'],
-            "Mixed": ['.py', '.ptl', '.rb']
+            "Mixed": Preferences.getPython("Python3Extensions") + ['.rb'],
         }
         
         self.dbgFilters = {
@@ -2680,7 +2680,12 @@
         @return default extension (including the dot) (string)
         """
         if self.pdata["PROGLANGUAGE"]:
-            return self.sourceExtensions[self.pdata["PROGLANGUAGE"][0]][0]
+            lang = self.pdata["PROGLANGUAGE"][0]
+            if lang == "":
+                lang = "Python3"
+            elif lang == "Python":
+                lang = "Python2"
+            return self.sourceExtensions[lang][0]
         else:
             return ""
         

eric ide

mercurial