if (ourGraphics == null) {
ourGraphics = window.getGraphics();
// sometimes jdk1.4 doesn't set the clip properly when we're in the middle of a resize
ourGraphics.setClip(insets.left, insets.top, root.width + insets.left, root.height + insets.top);
}
if (ourGraphics == null) {
ourGraphics = window.getGraphics();
// sometimes jdk1.4 doesn't set the clip properly when we're in the middle of a resize
ourGraphics.setClip(insets.left, insets.top, root.width + insets.left, root.height + insets.top);
}