103104105106107108109110111112113
{ public void expansionStateChanged( final ExpansionEvent event ) { if( event.getState() == true ) { part.unfold(); } else { part.fold(); }