adhoc event handler to insert 'sendback' text into the buffer, replacing the original command
adhoc event handler to insert 'sendback' text into the buffer, replacing the original command

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle