209210211212213214215216217218219
_dockHandle.mayAutoHide(); } }); _dockHandle.addDockHandleListener(new DockHandleListener() { public void dockClosing(DockHandleEvent e) { _eventCaster.fireWidgetClosing(new WidgetEvent(e, _dockWidget)); }