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(): |