def afterLock(self, terp, mode, **_):
self.gui.startWork()
self.gui.setRunning(True)
self.gui.editor.editable = False
self.redirect.install()
StoppableInput.setThingToStop(self)
StoppableOutput.setThingToStop(self)
def afterLock(self, terp, mode, **_):
self.gui.startWork()
self.gui.setRunning(True)
self.gui.editor.editable = False
self.redirect.install()
StoppableInput.setThingToStop(self)
StoppableOutput.setThingToStop(self)
def beforeUnlock(self, terp, mode, **_):
StoppableInput.setThingToStop(None)
StoppableOutput.setThingToStop(None)
self.redirect.uninstall()
self.gui.editor.document.removeLineHighlighting()
self.gui.editor.editable = True
self.gui.setRunning(False)
self.gui.stopWork()
def beforeUnlock(self, terp, mode, **_):
StoppableInput.setThingToStop(None)
StoppableOutput.setThingToStop(None)
self.redirect.uninstall()
self.gui.editor.document.removeLineHighlighting()
self.gui.editor.editable = True
self.gui.setRunning(False)
self.gui.stopWork()
