QScintilla/MiniEditor.py

changeset 3621
15f23ed3f216
parent 3591
2f2a4a76dd22
child 3642
1a6f8d9b63a5
equal deleted inserted replaced
3620:2c8d96d47cda 3621:15f23ed3f216
2797 2797
2798 if self.filetype == "": 2798 if self.filetype == "":
2799 line0 = self.__textEdit.text(0) 2799 line0 = self.__textEdit.text(0)
2800 if line0.startswith("#!") and \ 2800 if line0.startswith("#!") and \
2801 ("python2" in line0 or 2801 ("python2" in line0 or
2802 ("python" in line0 and not "python3" in line0)): 2802 ("python" in line0 and "python3" not in line0)):
2803 return True 2803 return True
2804 2804
2805 if self.__curFile is not None: 2805 if self.__curFile is not None:
2806 exts = [] 2806 exts = []
2807 for ext in Preferences.getDebugger("PythonExtensions").split(): 2807 for ext in Preferences.getDebugger("PythonExtensions").split():

eric ide

mercurial