if ((e == null) || (pane == null)) {
return;
}
// Find occurrence
MWPaneSelectionManager selection = pane.getSelectionManager();
switch (occurrence) {
case FIRST:
selection.selectFirstOccurrence();
break;
case LAST:
selection.selectLastOccurrence();
break;
case NEXT:
selection.selectNextOccurrence();
break;
case PREVIOUS:
selection.selectPreviousOccurrence();
break;
}
pane.requestFocusInWindow();
}