import java.awt.datatransfer.*;
import java.awt.image.*;
import java.awt.event.*;
-import java.applet.*;
/** Platform subclass for all VM's providing AWT 1.1 functionality */
public class AWT extends Platform {
Rectangle r = gr.getClipBounds();
// ugly hack for Java1.4 dynamicLayout on Win32 -- this catches expansions during smooth resize
- int newwidth = Math.max(r.x - insets.left + r.width, width);
- int newheight = Math.max(r.y - insets.top + r.height, height);
- if (newwidth > width || newheight > height)
+ 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);
Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
public void windowClosed(WindowEvent e) { }
public void windowClosing(WindowEvent e) { Close(); }
public void windowIconified(WindowEvent e) { Minimized(true); }
- public void windowDeiconified(WindowEvent e) { dirty(0, 0, width, height); Minimized(false); }
+ public void windowDeiconified(WindowEvent e) { dirty(0, 0, root.width, root.height); Minimized(false); }
public void windowActivated(WindowEvent e) { Focused(true); }
public void windowDeactivated(WindowEvent e) { Focused(false); }
public void componentMoved(ComponentEvent e) { PosChange(window.getLocation().x + insets.left, window.getLocation().y + insets.top); }
}
public void componentResized(int newwidth, int newheight) {
- int oldwidth = width;
- int oldheight = height;
+ 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
// ugly hack for Java1.4 dynamicLayout on Win32 -- this catches contractions during smooth resize
int newwidth = window.getWidth() - insets.left - insets.right;
int newheight = window.getHeight() - insets.top - insets.bottom;
- if (newwidth != width || newheight != height) componentResized(newwidth, newheight);
+ if (newwidth != root.width || newheight != root.height) componentResized(newwidth, newheight);
Move(m.getX() - insets.left, m.getY() - insets.top);
}