QScintilla/MiniEditor.py

changeset 42
23b45a742e17
parent 15
f6ccc31d6e72
child 45
9a18f4dbb493
equal deleted inserted replaced
41:572a009369f0 42:23b45a742e17
2076 2076
2077 # get the font for style 0 and set it as the default font 2077 # get the font for style 0 and set it as the default font
2078 key = 'Scintilla/%s/style0/font' % self.lexer_.language() 2078 key = 'Scintilla/%s/style0/font' % self.lexer_.language()
2079 fdesc = Preferences.Prefs.settings.value(key) 2079 fdesc = Preferences.Prefs.settings.value(key)
2080 if fdesc is not None: 2080 if fdesc is not None:
2081 font = QFont(fdesc[0], int(str(fdesc[1]))) 2081 font = QFont(fdesc[0], int(fdesc[1]))
2082 self.lexer_.setDefaultFont(font) 2082 self.lexer_.setDefaultFont(font)
2083 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") 2083 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla")
2084 2084
2085 # now set the lexer properties 2085 # now set the lexer properties
2086 self.lexer_.initProperties() 2086 self.lexer_.initProperties()

eric ide

mercurial