eric6/QScintilla/MiniEditor.py

changeset 8158
16a34a0167ba
parent 8150
fc1ae39af8c9
child 8165
61ca9619decb
equal deleted inserted replaced
8157:800c09ec0956 8158:16a34a0167ba
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")

eric ide

mercurial