code: public void repaintRect (int x, int y, int width, int height)
      {
          // translate back into view coordinates
          x -= _vbounds.x;
          y -= _vbounds.y;
          repaint(x, y, width, height);
      }
docs: documentation inherited from interface