/**
 * This hook is called if the window's close button was pressed, the close menu was selected,
 * or the ESCAPE key pressed.
 * The default implementation calls <code>close()</code>.
 */
public void closeBoxPressed() {
	close();
}
