/** Removes the navigational data from another NavigatorView. */
public void remove(NavigatorView view) {
debug("removing " + view);
// redo the search if necessary
if (searchparams.getText() != null) {
searchAction.actionPerformed(new ActionEvent(searchparams, ActionEvent.ACTION_PERFORMED, ""));
}
}
/** Merges in the navigational data from another NavigatorView. */
public void merge(NavigatorView view) {
debug("merging " + view);
// redo the search if necessary
String text = searchparams.getText();
if (text != null && text.length() != 0) {
searchAction.actionPerformed(new ActionEvent(searchparams, ActionEvent.ACTION_PERFORMED, ""));
}
}