void clearParserHighlights(){
  for (int i=0; i < parserHighlights.size(); i++) {
    Object tag=parserHighlights.get(i);
    if (tag instanceof LayeredHighlightInfo) {
      LayeredHighlightInfo lhi=(LayeredHighlightInfo)tag;
      if (lhi.width > 0 && lhi.height > 0) {
        textArea.repaint(lhi.x,lhi.y,lhi.width,lhi.height);
      }
    }
 else {
      HighlightInfo info=(HighlightInfo)tag;
      TextUI ui=textArea.getUI();
      ui.damageRange(textArea,info.getStartOffset(),info.getEndOffset());
    }
  }
  parserHighlights.clear();
}

void clearParserHighlights ( ) { for ( int i = 0 ; i < parserHighlights . size ( ) ; i ++ ) { Object tag = parserHighlights . get ( i ) ; if ( tag instanceof LayeredHighlightInfo ) { LayeredHighlightInfo lhi = ( LayeredHighlightInfo ) tag ; if ( lhi . width > 0 && lhi . height > 0 ) { textArea . repaint ( lhi . x , lhi . y , lhi . width , lhi . height ) ; } } else { HighlightInfo info = ( HighlightInfo ) tag ; TextUI ui = textArea . getUI ( ) ; ui . damageRange ( textArea , info . getStartOffset ( ) , info . getEndOffset ( ) ) ; } } parserHighlights . clear ( ) ; }
removes all parser highlights .
