QScintilla/Editor.py

changeset 5446
7f48d7f8eef0
parent 5416
16366120b523
child 5468
c307358a2ecc
child 5587
ea526b78ee6c
--- 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