Next:
System Event Handlers
Up:
Events
Previous:
ECLiPSe Fatal Errors
Index
User-Defined Events
User-defined events should use atomic event names rather than numbers. See
set_event_handler/2
.
Warwick Harvey
2002-05-15
