@Override
public void mousePressed(MouseEvent e) {
if (e.isPopupTrigger()) {
processPopupTrigger(e);
return;
}
// First find the row on which the user has clicked.
final int row = entryTable.rowAtPoint(e.getPoint());
// A double click on an entry should highlight the entry in its BasePanel:
if (e.getClickCount() == 2) {
// Get the selected entry:
BibtexEntry toShow = model.getElementAt(row);
// Look up which BasePanel it belongs to:
BasePanel p = entryHome.get(toShow);
// Show the correct tab in the main window:
frame.showBasePanel(p);
// Highlight the entry:
p.highlightEntry(toShow);
}
}
