private void removeHighlights() { for (int i = 0; i < highlights.length; ++i) { PHighlight highlight = highlights[i]; if (highlight != null) { textArea.removeHighlight(highlight); } highlights[i] = null; } }