QScintilla/MiniEditor.py

changeset 788
5b1b59777460
parent 701
fc587a1c2f8b
child 791
9ec2ac20e54e
--- a/QScintilla/MiniEditor.py	Mon Dec 27 19:49:16 2010 +0100
+++ b/QScintilla/MiniEditor.py	Fri Dec 31 15:19:02 2010 +0100
@@ -2083,7 +2083,7 @@
             bindName = "dummy.xml"
         
         # check filetype
-        if self.filetype == "Python":
+        if self.filetype in ["Python", "Python3"]:
             bindName = "dummy.py"
         elif self.filetype == "Ruby":
             bindName = "dummy.rb"

eric ide

mercurial