public void findPreviousOccurrence(Editor editor) {
Line line;
for (line = editor.getDotLine().previous(); line != null; line = line.previous()) {
if (line instanceof OccurrenceLine) break;
}
if (line instanceof OccurrenceLine) findOccurrence(editor, line);
}