Delete History

Delete History action [ command_history_delete ] deletes selected command history.

Related concepts

Magik views
Magik perspectives

Related Reference

Command Histories View