else g.setColor(disabledColor);
  protected int drawUnselectedText(Graphics g, int x, int y, int p0, int p1)    throws BadLocationException  {    g.setColor(unselectedColor);    Segment segment = new Segment();    getDocument().getText(p0, p1 - p0, segment);    return Utilities.drawTabbedText(segment, x, y, g, this, segment.offset);  }