src/eric7/QScintilla/Shell.py

branch
eric7
changeset 10276
a9a0cb9c9d0c
parent 10232
fbfb347f7b5b
child 10373
093dcebe5ecb
equal deleted inserted replaced
10275:76a32e9f16b4 10276:a9a0cb9c9d0c
257 self.prline = 0 257 self.prline = 0
258 self.prcol = 0 258 self.prcol = 0
259 self.inDragDrop = False 259 self.inDragDrop = False
260 self.lexer_ = None 260 self.lexer_ = None
261 self.completionText = "" 261 self.completionText = ""
262 self.__shuttingDown = False
262 263
263 self.clientType = "" 264 self.clientType = ""
264 265
265 # Initialize history 266 # Initialize history
266 self.__historyLists = {} 267 self.__historyLists = {}
402 """ 403 """
403 Public method to shutdown the shell. 404 Public method to shutdown the shell.
404 """ 405 """
405 for clientType in self.__historyLists: 406 for clientType in self.__historyLists:
406 self.saveHistory(clientType) 407 self.saveHistory(clientType)
408 self.__shuttingDown = True
407 409
408 def __bindLexer(self, language="Python3"): 410 def __bindLexer(self, language="Python3"):
409 """ 411 """
410 Private slot to set the lexer. 412 Private slot to set the lexer.
411 413
2544 2546
2545 def __projectClosed(self): 2547 def __projectClosed(self):
2546 """ 2548 """
2547 Private slot to restart the default shell when the project is closed. 2549 Private slot to restart the default shell when the project is closed.
2548 """ 2550 """
2549 if Preferences.getProject("RestartShellForProject"): 2551 if not self.__shuttingDown and Preferences.getProject("RestartShellForProject"):
2550 self.dbs.startClient(False) 2552 self.dbs.startClient(False)
2551 self.__getBanner() 2553 self.__getBanner()
2552 2554
2553 2555
2554 # 2556 #

eric ide

mercurial