QScintilla/MiniEditor.py

changeset 788
5b1b59777460
parent 701
fc587a1c2f8b
child 791
9ec2ac20e54e
equal deleted inserted replaced
786:06290d4db8ab 788:5b1b59777460
2081 if line0.startswith("<?xml"): 2081 if line0.startswith("<?xml"):
2082 # override extension for XML files 2082 # override extension for XML files
2083 bindName = "dummy.xml" 2083 bindName = "dummy.xml"
2084 2084
2085 # check filetype 2085 # check filetype
2086 if self.filetype == "Python": 2086 if self.filetype in ["Python", "Python3"]:
2087 bindName = "dummy.py" 2087 bindName = "dummy.py"
2088 elif self.filetype == "Ruby": 2088 elif self.filetype == "Ruby":
2089 bindName = "dummy.rb" 2089 bindName = "dummy.rb"
2090 elif self.filetype == "D": 2090 elif self.filetype == "D":
2091 bindName = "dummy.d" 2091 bindName = "dummy.d"

eric ide

mercurial