115116117118119120121122123124125
new PushButton("Revert to default", new ClickListener() { public void onClick(Widget sender) { userGiven = false; namespaceRoot = defaultNameSpace; update(); popup.hide(); } }) , 0 ); }
568569570571572573574575576577578
if ( ! Window.confirm("This action will update the term table. (Previous contents will be discarded.)") ) { return; } popup.hide(); importContents(separatorPanel.getSelectedSeparator().charAt(0), text); } });
369370371372373374375376377378379
// this is to hide the popup when the user clicks one of the links: ontologyTable.addClickListenerToHyperlinks( new ClickListener() { public void onClick(Widget sender) { popup.hide(); } } ); vp.add(ontologyTable.getWidget());
382383384385386387388389390391392
// close the popup if history changes: History.addHistoryListener(new HistoryListener() { public void onHistoryChanged(String historyToken) { popup.setAnimationEnabled(false); popup.hide(); } }); // popup.center(); // popup.show();