reset-console

This method graphically resets the console after its state has been cleared.

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

  Kills the old eventspace, and creates a new parameterization

  Also calls the super method.

  To change/extend the user's parameterization, ovveride this method, and after the call to the super method returns, change the parameterization. For example, to add a definition of a function, f, to the users' namespace, write this:

    (class ...
      (inherit user-param)
      (rename [super-reset-console reset-console])
      (public
        [reset-console
          (lambda ()
             (super-reset-console)
             (parameterize ([current-namespace ((in-parameterization user-param current-namespace))])
               (lambda ()
                  (global-defined-value 'f (lambda (...) ...)))))]))