public interface DisposeListener
Classes which implement this interface provide a method that deals with the event that is generated when a widget is disposed.
After creating an instance of a class that implements this interface it can be added to a widget using the
addDisposeListenermethod and removed using the
removeDisposeListenermethod. When a widget is disposed, the widgetDisposed method will be invoked.
- See Also:
void widgetDisposed(DisposeEvent event)
Sent when the widget is disposed.
event- an event containing information about the dispose