Fixed a very very old bug in the editor that caused an endless loop.

Fri, 27 Jan 2017 19:18:52 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 27 Jan 2017 19:18:52 +0100
changeset 5446
7f48d7f8eef0
parent 5445
b24720037f1f
child 5448
1a86766ed19a

Fixed a very very old bug in the editor that caused an endless loop.

QScintilla/Editor.py file | annotate | diff | comparison | revisions
--- a/QScintilla/Editor.py	Thu Jan 26 20:17:07 2017 +0100
+++ b/QScintilla/Editor.py	Fri Jan 27 19:18:52 2017 +0100
@@ -1322,10 +1322,12 @@
         if language == '':
             self.__resetLanguage(propagate=propagate)
         elif language == "Guessed":
-            self.setLanguage("dummy.pygments")
+            self.setLanguage("dummy.pygments",
+                             propagate=propagate)
         elif language.startswith("Pygments|"):
             pyname = language.split("|", 1)[1]
-            self.setLanguage("dummy.pygments", pyname=pyname)
+            self.setLanguage("dummy.pygments", pyname=pyname,
+                             propagate=propagate)
         else:
             self.filetype = language
             self.setLanguage(self.supportedLanguages[language][1],

eric ide

mercurial