reset-console

• (send a-drscheme:rep:text reset-console) -> void

  Kills the old eventspace, and creates a new parameterization

  Also calls the super method.

  To change/extend the user parameter settings, override this method, and after the call to the super method returns, change the value of the parameters in the user's thread. For example, to add a definition of a function, f, to the users' namespace, write this:

    (class ...
      (inherit user-thread run-in-evaluation-thread)
      (rename [super-reset-console reset-console])
      (public
        [reset-console
          (lambda ()
             (super-reset-console)
             (run-in-evaluation-thread
               (lambda ()
                  (global-defined-value 'f (lambda (...) ...)))))]))