y += metrics.getHeight();
y += height;
  public void paint(Graphics g, Shape s)  {    // Ensure metrics are up-to-date.    updateMetrics();        JTextComponent textComponent = (JTextComponent) getContainer();        selectedColor = textComponent.getSelectedTextColor();    unselectedColor = textComponent.getForeground();    disabledColor = textComponent.getDisabledTextColor();    Rectangle rect = s.getBounds();        // FIXME: Text may be scrolled.    Document document = textComponent.getDocument();    Element root = document.getDefaultRootElement();    int y = rect.y + metrics.getAscent();        for (int i = 0; i < root.getElementCount(); i++)      {	drawLine(i, g, rect.x, y);	y += metrics.getHeight();      }  }