QScintilla/Shell.py

changeset 802
e8882d16384c
parent 791
9ec2ac20e54e
child 826
2e3e2055e715
equal deleted inserted replaced
801:16f9875e278b 802:e8882d16384c
218 Public method to shutdown the shell. 218 Public method to shutdown the shell.
219 """ 219 """
220 for key in list(self.historyLists.keys()): 220 for key in list(self.historyLists.keys()):
221 self.saveHistory(key) 221 self.saveHistory(key)
222 222
223 def __bindLexer(self, language = 'Python'): 223 def __bindLexer(self, language = 'Python3'):
224 """ 224 """
225 Private slot to set the lexer. 225 Private slot to set the lexer.
226 226
227 @param language lexer language to set (string) 227 @param language lexer language to set (string)
228 """ 228 """

eric ide

mercurial