for (Iterator i = highlights.iterator(); i.hasNext();) { Object o = i.next(); if (o instanceof LayerHighlightEntry) { LayerHighlightEntry entry = (LayerHighlightEntry) o; int start = entry.getStartOffset(); int end = entry.getEndOffset(); if ((p0 < start && p1 > start) || (p0 >= start && p0 < end)) entry.paintLayeredHighlight(g, p0, p1, viewBounds, editor, view); } }
  public void paintLayeredHighlights(Graphics g, int p0, int p1,                                     Shape viewBounds, JTextComponent editor,                                     View view)  throws NotImplementedException  {    // TODO: Implement this properly.  }