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()
def requestString(message):
s = StoppableInput.getString(message)
if s is None:
return None
else:
return str(s)
def requestIntegerInRange(message, min, max):
if min >= max:
print "requestIntegerInRange(message, min, max): min >= max not allowed"
raise ValueError
return StoppableInput.getIntNumber(message, min, max)
def requestInteger(message):
return StoppableInput.getIntNumber(message)
