Custom User-Specified Interface Operation

The supplied extension EmptyGUI implements a custom interface operation for a Workbench task. Specifically, it adds a custom context menu. This functionality is valuable when you require menu entries beyond the default Edit menu created by the definition of the callback <onedit>.