ElementNavigator.class, defaultID);
}
// Should we create a menu?
if (menuStr != null && menuStr.length != 0) {
ActionManager mgr = getContext().getActions();
JPopupMenu menu = mgr.createPopup(menuStr, defaultID);
menu.show((JComponent)e.getSource(), e.getX(), e.getY());
}
}
}