def onCommand(self, event):
text = self.commandTextControl.GetValue()
if text.endswith("\n"):
if util.isS_Expression(text):
command = text.strip()
self.executeCommand(command, True)
event.Skip()
def onPVSInText(self, event):
"""This method is called whenever PVS sends some text to the Editor"""
# logging.info("Event handler `onPVSInTextEntered' not implemented")
text = event.GetString()
if text.endswith("\n"):
if util.isS_Expression(text):
command = text.strip()
logging.info("Command is %s", command)
self.appendToOut(self.prompt, color=wx.BLUE)
self.appendToOut(command, newLine=True)
self.clearIn()
self.history.append(command)
self.historyBox.Insert(command, 1)
result = pvscomm.PVSCommandManager().lisp(command)
if result is not None:
self.appendToOut(result, newLine=True)
def onPVSInText(self, event):
"""This method is called whenever PVS sends some text to the Editor"""
#logging.info("Event handler `onPVSInTextEntered' not implemented")
text = event.GetString()
if text.endswith("\n"):
if util.isS_Expression(text):
command = text.strip()
logging.info("Command is %s", command)
self.appendToOut(self.prompt, color=wx.BLUE)
self.appendToOut(command, newLine=True)
self.clearIn()
self.history.append(command)
self.historyBox.Insert(command, 1)
result = pvscomm.PVSCommandManager().lisp(command)
if result is not None:
self.appendToOut(result, newLine=True)