237238239240241242243
} public void fireWidgetClosing() { ActionEvent ae = new ActionEvent(_dockWidget, ActionEvent.ACTION_PERFORMED, "fireWidgetClosing"); _eventCaster.fireWidgetClosing(new WidgetEvent(new DockHandleEvent(ae), _dockWidget)); }
243244245246247248249
} public void fireWidgetClosed() { ActionEvent ae = new ActionEvent(_dockWidget, ActionEvent.ACTION_PERFORMED, "fireWidgetClosed"); _eventCaster.fireWidgetClosed(new WidgetEvent(new DockHandleEvent(ae), _dockWidget)); }