final VerticalPanel panel = new VerticalPanel();
final HorizontalPanel hpFactsAndHide = new HorizontalPanel();
final HorizontalPanel hpShow = new HorizontalPanel();
hpShow.add( new ClickableLabel( DRLTextEditorConstants.INSTANCE.ShowFactTypes(),
new ClickHandler() {
public void onClick( com.google.gwt.event.dom.client.ClickEvent event ) {
hpShow.setVisible( false );
hpFactsAndHide.setVisible( true );
tree.setVisible( true );
}
} ) );
panel.add( hpShow );
hpFactsAndHide.add( new SmallLabel( DRLTextEditorConstants.INSTANCE.FactTypes() ) );
hpFactsAndHide.add( new ClickableLabel( DRLTextEditorConstants.INSTANCE.hide(),
new ClickHandler() {
public void onClick( com.google.gwt.event.dom.client.ClickEvent event ) {
hpShow.setVisible( true );
hpFactsAndHide.setVisible( false );
tree.setVisible( false );