reset-console in drscheme:rep:text%
(-> voidsenda-drscheme:rep:textreset-console)Kills the old eventspace, and creates a new parameterization for it.
reset-console in drscheme:rep:text%
( -> voidsend a-drscheme:rep:text reset-console)
Kills the old eventspace, and creates a new parameterization for it.