public Object addHighlight(int p0,int p1,Highlighter.HighlightPainter p) throws BadLocationException {
  Document doc=component.getDocument();
  HighlightInfo i=(getDrawsLayeredHighlights() && (p instanceof LayeredHighlighter.LayerPainter)) ? new LayeredHighlightInfo() : new HighlightInfo();
  i.painter=p;
  i.p0=doc.createPosition(p0);
  i.p1=doc.createPosition(p1);
  highlights.insertElementAt(i,0);
  safeDamageRange(p0,p1);
  return i;
}

public Object addHighlight ( int p0 , int p1 , Highlighter . HighlightPainter p ) throws BadLocationException { Document doc = component . getDocument ( ) ; HighlightInfo i = ( getDrawsLayeredHighlights ( ) && ( p instanceof LayeredHighlighter . LayerPainter ) ) ? new LayeredHighlightInfo ( ) : new HighlightInfo ( ) ; i . painter = p ; i . p0 = doc . createPosition ( p0 ) ; i . p1 = doc . createPosition ( p1 ) ; highlights . insertElementAt ( i , 0 ) ; safeDamageRange ( p0 , p1 ) ; return i ; }
adds a highlight to the view . returns a tag that can be used to refer to the highlight .
