A command in the Edit menu of the ScriptEditor for clearing the remembered history. See History mechanism.
© ppgb 20000927