QScintilla/MiniEditor.py

changeset 6038
b9d2063e610e
parent 5742
dc9cd8059221
child 6048
82ad8ec9548c
equal deleted inserted replaced
6037:9aec96a3a82a 6038:b9d2063e610e
2927 self.apiLanguage = "Pygments|{0}".format(pyname) 2927 self.apiLanguage = "Pygments|{0}".format(pyname)
2928 else: 2928 else:
2929 self.apiLanguage = self.lexer_.language() 2929 self.apiLanguage = self.lexer_.language()
2930 self.__textEdit.setLexer(self.lexer_) 2930 self.__textEdit.setLexer(self.lexer_)
2931 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None: 2931 if self.lexer_.lexer() == "container" or self.lexer_.lexer() is None:
2932 self.__textEdit.setStyleBits(self.lexer_.styleBitsNeeded())
2933 self.__textEdit.SCN_STYLENEEDED.connect(self.__styleNeeded) 2932 self.__textEdit.SCN_STYLENEEDED.connect(self.__styleNeeded)
2934 2933
2935 # get the font for style 0 and set it as the default font 2934 # get the font for style 0 and set it as the default font
2936 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) 2935 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language())
2937 fdesc = Preferences.Prefs.settings.value(key) 2936 fdesc = Preferences.Prefs.settings.value(key)

eric ide

mercurial