/**
* 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);
}
}
}
