/** Shows popup with forward history entries */
private void showForwardHistory(MouseEvent e) {
JPopupMenu forwardMenu = new JPopupMenu("Forward History");
if (historyModel == null) {
return;
}
Locale locale = ((JHelp) getControl()).getModel().getHelpSet().getLocale();
Enumeration items = historyModel.getForwardHistory().elements();
JMenuItem mi = null;
int index = historyModel.getIndex() + 1;
// while(items.hasMoreElements()){
for (int i = 0; items.hasMoreElements(); i++) {
HelpModelEvent item = (HelpModelEvent) items.nextElement();
if (item != null) {
String title = item.getHistoryName();
if (title == null) {
title = HelpUtilities.getString(locale, "history.unknownTitle");
}
mi = new JMenuItem(title);
// mi.setToolTipText(item.getURL().getPath());
mi.addActionListener(new HistoryActionListener(i + index));
forwardMenu.add(mi);
}
}
// if(e.isPopupTrigger())
forwardMenu.show(e.getComponent(), e.getX(), e.getY());
}
/**
* Processes an idChanged event. Search is different from all other navigators in that you while
* search tree is synchronized the highlighting doesn't occur unless selected from the search
* navigator.
*/
public void idChanged(HelpModelEvent e) {
ID id = e.getID();
URL url = e.getURL();
HelpModel helpModel = searchnav.getModel();
debug("idChanged(" + e + ")");
if (e.getSource() != helpModel) {
debug("Internal inconsistency!");
debug(" " + e.getSource() + " != " + helpModel);
throw new Error("Internal error");
}
TreePath s = tree.getSelectionPath();
if (s != null) {
Object o = s.getLastPathComponent();
// should require only a TreeNode
if (o instanceof DefaultMutableTreeNode) {
DefaultMutableTreeNode tn = (DefaultMutableTreeNode) o;
SearchTOCItem item = (SearchTOCItem) tn.getUserObject();
if (item != null) {
ID nId = item.getID();
if (nId != null && nId.equals(id)) {
return;
}
}
}
}
DefaultMutableTreeNode node = findIDorURL(topNode, id, url);
if (node == null) {
// node doesn't exist. Need to clear the selection.
debug("node didn't exist");
tree.clearSelection();
return;
}
TreePath path = new TreePath(node.getPath());
tree.expandPath(path);
tree.setSelectionPath(path);
tree.scrollPathToVisible(path);
}
