protected void addNavigationMenuItems(RDFResource resource, JPopupMenu menu) {
super.addNavigationMenuItems(resource, menu);
int row = getSelectedRow();
if (tableModel.getType(row) == NCIConditionsTableModel.TYPE_INHERITED) {
final RDFSClass definingClass = tableModel.getOriginClass(row);
menu.add(
new AbstractAction(
"Navigate to defining class (" + definingClass.getBrowserText() + ")",
ProtegeUI.getIcon(definingClass)) {
private static final long serialVersionUID = 441936038070346937L;
public void actionPerformed(ActionEvent e) {
navigateTo(definingClass);
}
});
}
}
