3377 self.__textEdit.setLexer(self.lexer_) |
3377 self.__textEdit.setLexer(self.lexer_) |
3378 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None: |
3378 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None: |
3379 self.__textEdit.SCN_STYLENEEDED.connect(self.__styleNeeded) |
3379 self.__textEdit.SCN_STYLENEEDED.connect(self.__styleNeeded) |
3380 |
3380 |
3381 # get the font for style 0 and set it as the default font |
3381 # get the font for style 0 and set it as the default font |
3382 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) |
3382 if pyname and pyname.startswith("Pygments|"): |
|
3383 key = 'Scintilla/Guessed/style0/font' |
|
3384 else: |
|
3385 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) |
3383 fdesc = Preferences.Prefs.settings.value(key) |
3386 fdesc = Preferences.Prefs.settings.value(key) |
3384 if fdesc is not None: |
3387 if fdesc is not None: |
3385 font = QFont(fdesc[0], int(fdesc[1])) |
3388 font = QFont(fdesc[0], int(fdesc[1])) |
3386 self.lexer_.setDefaultFont(font) |
3389 self.lexer_.setDefaultFont(font) |
3387 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") |
3390 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") |