Delete Command

Delete Command action [ delete_obj ] removes selected command from the history.

Related concepts

Magik views
Magik perspectives

Related Reference

Command Histories View