- public void componentResized(int newwidth, int newheight) {
- int oldwidth = root.width;
- int oldheight = root.height;
- SizeChange(newwidth, newheight);
-
- // we do this because JVMs which don't clear the background won't force repaints of these areas
- root.dirty(Math.min(oldwidth, newwidth), 0, Math.abs(oldwidth - newwidth), Math.max(oldheight, newheight));
- root.dirty(0, Math.min(oldheight, newheight), Math.max(oldwidth, newwidth), Math.abs(oldheight - newheight));
-
- ourGraphics = null;
- }