Java Editor.getDotLine Exemples

Exemple #1

Fichier : ListOccurrencesInFilesBuffer.java Projet : kevinkrouse/j

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