QScintilla/Shell.py

changeset 428
58405c24aa09
parent 404
44a541bea034
child 454
d28d558f7484
equal deleted inserted replaced
427:6af5d12cfecb 428:58405c24aa09
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.

eric ide

mercurial