final String dslCaption ) {
final VerticalPanel container = new VerticalPanel();
final HorizontalPanel hpDSLSentencesAndHide = new HorizontalPanel();
final HorizontalPanel hpShow = new HorizontalPanel();
hpShow.add( new ClickableLabel( showDSLCaption,
new ClickHandler() {
public void onClick( com.google.gwt.event.dom.client.ClickEvent event ) {
hpShow.setVisible( false );
hpDSLSentencesAndHide.setVisible( true );
tree.setVisible( true );
}
} ) );
container.add( hpShow );
hpDSLSentencesAndHide.add( new SmallLabel( dslCaption ) );
hpDSLSentencesAndHide.add( new ClickableLabel( DRLTextEditorConstants.INSTANCE.hide(),
new ClickHandler() {
public void onClick( com.google.gwt.event.dom.client.ClickEvent event ) {
hpShow.setVisible( true );
hpDSLSentencesAndHide.setVisible( false );
tree.setVisible( false );