componentResized(window.getWidth() - insets.left - insets.right, window.getHeight() - insets.top - insets.bottom);
}
- public void componentResized(int newwidth, int newheight) {
- int oldwidth = root.width;
- int oldheight = root.height;
- SizeChange(newwidth, newheight);
- }
+ public void componentResized(int newwidth, int newheight) { SizeChange(newwidth, newheight); }
public void keyTyped(KeyEvent k) { }
public void keyPressed(KeyEvent k) { KeyPressed(translateKey(k)); }