Пример #1
0
 private void removeHighlights() {
   for (int i = 0; i < highlights.length; ++i) {
     PHighlight highlight = highlights[i];
     if (highlight != null) {
       textArea.removeHighlight(highlight);
     }
     highlights[i] = null;
   }
 }