Preferences/ConfigurationDialog.py

changeset 825
9cdec3c5bc07
parent 802
e8882d16384c
child 934
657269549914
child 1107
cad60e83a962
equal deleted inserted replaced
824:360e007523bd 825:9cdec3c5bc07
428 """ 428 """
429 Private method to initialize the dictionary of preferences lexers. 429 Private method to initialize the dictionary of preferences lexers.
430 """ 430 """
431 self.lexers = {} 431 self.lexers = {}
432 for language in QScintilla.Lexers.getSupportedLanguages(): 432 for language in QScintilla.Lexers.getSupportedLanguages():
433 ## if language in ["Python2", "Python3"]:
434 ## language = "Python"
435 if language not in self.lexers: 433 if language not in self.lexers:
436 try: 434 try:
437 self.lexers[language] = PreferencesLexer(language, self) 435 self.lexers[language] = PreferencesLexer(language, self)
438 except PreferencesLexerLanguageError: 436 except PreferencesLexerLanguageError:
439 pass 437 pass

eric ide

mercurial