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 # |