// IMPORTANT: this must be called before render() to ensure
// that our peer has been created
- window.setVisible(true);
-
+ makeVisible();
}
+
+ protected void makeVisible() { window.setVisible(true); }
public void _dispose() {
window.removeMouseListener(this);
public void windowDeiconified(WindowEvent e) { dirty(0, 0, width, 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, window.getLocation().y); }
+ public void componentMoved(ComponentEvent e) { PosChange(window.getLocation().x + insets.left, window.getLocation().y + insets.top); }
public void componentResized(ComponentEvent e) {
// we have to periodically do this; I don't know why