147148149150151152153
} public void _dispose() { _tabHandle.removeTab(DockTabDesktopPane.TabClosingMode.DISPOSE); _eventCaster.fireWidgetClosed(new WidgetEvent(new TabHandleEvent(_tabHandle,null), _widget)); }
262263264265266267268
return _clientProperties.get(key); } public void fireWidgetClosing() { _eventCaster.fireWidgetClosing(new WidgetEvent(new TabHandleEvent(_tabHandle, null), _widget)); }
267268269270271272273
_eventCaster.fireWidgetClosing(new WidgetEvent(new TabHandleEvent(_tabHandle, null), _widget)); } public void fireWidgetClosed() { _eventCaster.fireWidgetClosed(new WidgetEvent(new TabHandleEvent(_tabHandle, null), _widget)); }