public interface WidgetStateListener
Modifier and Type | Method and Description |
---|---|
void |
notifyWidgetDestroyed(Widget<? extends OutputManager<?>> w)
Notify the specified widget has been destroyed.
|
void notifyWidgetDestroyed(Widget<? extends OutputManager<?>> w)
w
- The widget being destroyed.