void PageView::rectChanged(Rectangle& rect)
{
rerenderRect(rect.x, rect.y, rect.width, rect.height);
}
void Redrawable::rerenderArea(double x1, double y1, double x2, double y2)
{
rerenderRect(x1, y1, x2 - x1, y2 - y1);
}
void Redrawable::rerenderElement(Element* e)
{
rerenderRect(e->getX() - 1, e->getY() - 1, e->getElementWidth() + 2,
e->getElementHeight() + 2);
}
void Redrawable::rerenderRange(Range& r)
{
rerenderRect(r.getX(), r.getY(), r.getWidth(), r.getHeight());
}
