A command in the Edit menu of a ScriptEditor, for inserting the history of commands. See History mechanism.
© ppgb, August 22, 2005