question: 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 ( ) ; }
target:  Clears any "mark all" highlights, if any.