public void clearMarkAllHighlights(){
  Highlighter h=getHighlighter();
  if (h != null && markAllHighlights != null) {
    int count=markAllHighlights.size();
    for (int i=0; i < count; i++)     h.removeHighlight(markAllHighlights.get(i));
    markAllHighlights.clear();
  }
  markedWord=null;
  repaint();
}

public void clearMarkAllHighlights ( ) { Highlighter h = getHighlighter ( ) ; if ( h != null && markAllHighlights != null ) { int count = markAllHighlights . size ( ) ; for ( int i = 0 ; i < count ; i ++ ) h . removeHighlight ( markAllHighlights . get ( i ) ) ; markAllHighlights . clear ( ) ; } markedWord = null ; repaint ( ) ; }
clears any " mark all " highlights , if any .
