237 font = Preferences.getShell("MonospacedFont") |
237 font = Preferences.getShell("MonospacedFont") |
238 self.monospacedStyles(font) |
238 self.monospacedStyles(font) |
239 return |
239 return |
240 |
240 |
241 # get the font for style 0 and set it as the default font |
241 # get the font for style 0 and set it as the default font |
242 key = 'Scintilla/%s/style0/font' % self.lexer_.language() |
242 key = 'Scintilla/{0}/style0/font'.format(self.lexer_.language()) |
243 fdesc = Preferences.Prefs.settings.value(key) |
243 fdesc = Preferences.Prefs.settings.value(key) |
244 if fdesc is not None: |
244 if fdesc is not None: |
245 font = QFont(fdesc[0], int(fdesc[1])) |
245 font = QFont(fdesc[0], int(fdesc[1])) |
246 self.lexer_.setDefaultFont(font) |
246 self.lexer_.setDefaultFont(font) |
247 self.setLexer(self.lexer_) |
247 self.setLexer(self.lexer_) |
1093 .format(cmdList[1])) |
1093 .format(cmdList[1])) |
1094 self.__clientStatement(False) |
1094 self.__clientStatement(False) |
1095 return |
1095 return |
1096 cmd = '' |
1096 cmd = '' |
1097 elif cmd == 'languages': |
1097 elif cmd == 'languages': |
1098 s = '%s\n' % ', '.join(self.clientLanguages) |
1098 s = '{0}\n'.format(', '.join(self.clientLanguages)) |
1099 self.__write(s) |
1099 self.__write(s) |
1100 self.__clientStatement(False) |
1100 self.__clientStatement(False) |
1101 return |
1101 return |
1102 elif cmd == 'clear': |
1102 elif cmd == 'clear': |
1103 # Display the banner. |
1103 # Display the banner. |