eric6/QScintilla/Editor.py

changeset 8158
16a34a0167ba
parent 8143
2c730d5fd177
child 8165
61ca9619decb
equal deleted inserted replaced
8157:800c09ec0956 8158:16a34a0167ba
1811 self.__setMarginsDisplay() 1811 self.__setMarginsDisplay()
1812 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None: 1812 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None:
1813 self.SCN_STYLENEEDED.connect(self.__styleNeeded) 1813 self.SCN_STYLENEEDED.connect(self.__styleNeeded)
1814 1814
1815 # get the font for style 0 and set it as the default font 1815 # get the font for style 0 and set it as the default font
1816 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) 1816 if pyname and pyname.startswith("Pygments|"):
1817 key = 'Scintilla/Guessed/style0/font'
1818 else:
1819 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language())
1817 fdesc = Preferences.Prefs.settings.value(key) 1820 fdesc = Preferences.Prefs.settings.value(key)
1818 if fdesc is not None: 1821 if fdesc is not None:
1819 font = QFont(fdesc[0], int(fdesc[1])) 1822 font = QFont(fdesc[0], int(fdesc[1]))
1820 self.lexer_.setDefaultFont(font) 1823 self.lexer_.setDefaultFont(font)
1821 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") 1824 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla")

eric ide

mercurial