485486487488489490491492493494495
new DisposeListener() { public void widgetDisposed( final DisposeEvent event ) { property.detach( modelPropertyListener ); actionPresentationManager.dispose(); actionPresentationKeyboard.dispose(); } } ); }