QScintilla/Editor.py

changeset 5446
7f48d7f8eef0
parent 5416
16366120b523
child 5468
c307358a2ecc
child 5587
ea526b78ee6c
equal deleted inserted replaced
5445:b24720037f1f 5446:7f48d7f8eef0
1320 @keyparam propagate flag indicating to propagate the change (boolean) 1320 @keyparam propagate flag indicating to propagate the change (boolean)
1321 """ 1321 """
1322 if language == '': 1322 if language == '':
1323 self.__resetLanguage(propagate=propagate) 1323 self.__resetLanguage(propagate=propagate)
1324 elif language == "Guessed": 1324 elif language == "Guessed":
1325 self.setLanguage("dummy.pygments") 1325 self.setLanguage("dummy.pygments",
1326 propagate=propagate)
1326 elif language.startswith("Pygments|"): 1327 elif language.startswith("Pygments|"):
1327 pyname = language.split("|", 1)[1] 1328 pyname = language.split("|", 1)[1]
1328 self.setLanguage("dummy.pygments", pyname=pyname) 1329 self.setLanguage("dummy.pygments", pyname=pyname,
1330 propagate=propagate)
1329 else: 1331 else:
1330 self.filetype = language 1332 self.filetype = language
1331 self.setLanguage(self.supportedLanguages[language][1], 1333 self.setLanguage(self.supportedLanguages[language][1],
1332 propagate=propagate) 1334 propagate=propagate)
1333 self.checkSyntax() 1335 self.checkSyntax()

eric ide

mercurial