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") |