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

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

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 27 Jan 2017 19:18:52 +0100
branch
maintenance
changeset 5447
852016bbdedb
parent 5440
d22ed5a4374f
child 5468
c307358a2ecc

Fixed a very very old bug in the editor that caused an endless loop.
(grafted from 7f48d7f8eef02f4c91268d62d4a6c1f652c45a14)

QScintilla/Editor.py file | annotate | diff | comparison | revisions
--- a/QScintilla/Editor.py	Mon Jan 23 11:54:21 2017 +0100
+++ b/QScintilla/Editor.py	Fri Jan 27 19:18:52 2017 +0100
@@ -1319,10 +1319,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