/** * A mouse-clicked event. This is only interesting if it was a double click. If so, inform every * element in the current selection. */ public void mouseClicked(MouseEvent evt) { if (isButtonOne(evt)) { if (evt.getClickCount() > 1) { selection.doubleClick(evt); } } }