Widget.addDisposeListener(
DisposeListener listener)
Adds the listener to the collection of listeners who will
be notified when the widget is disposed.
void
Widget.removeDisposeListener(
DisposeListener listener)
Removes the listener from the collection of listeners who will
be notified when the widget is disposed.