kill-evaluation in drscheme:rep:text%

This method is called when the user chooses the kill menu item.

• (send a-drscheme:rep:text kill-evaluation) -> void