6.3 Window manager window-closing operations

MLWorks ignores the UNIX window manager's window-closing operation. This operation has different names in different window managers; in TWM it is called f.delete, and in MWM, it is called f.kill.

The MLWorks debugger tool uses an event-handling sub loop, and exiting a parent tool while MLWorks is in such a loop can cause problems. Therefore, MLWorks ignores all attempts to exit tools by using the window-manager's window-closing operation.