int newwidth = Math.max(r.x - insets.left + r.width, root.width);
int newheight = Math.max(r.y - insets.top + r.height, root.height);
if (newwidth > root.width || newheight > root.height)
- componentResized(window.getWidth() - insets.left - insets.right, window.getHeight() - insets.top - insets.bottom);
+ componentResized(window.getWidth() - insets.left - insets.right,
+ window.getHeight() - insets.top - insets.bottom);
Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
}