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