QScintilla/Editor.py

branch
maintenance
changeset 5447
852016bbdedb
parent 5389
9b1c800daff3
child 5468
c307358a2ecc
--- 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