113114115116117118119120121122123
{ super.dispose(); if( this.listener != null ) { state.detach( this.listener, MasterDetailsEditorPageState.PROP_ATTRIBUTES.name() + "/*" ); if( ! element.disposed() ) { element.property( Item.PROP_MANUFACTURER ).detach( this.listener ); }