public void setScreenDimension(Dimension dim) {
		// There is a bug in Netscape 4.7*+MacOS 9 when comparing dimension objects
		// so don't try dim1.equals(dim2)
		int height = dim.height;
		int width = dim.width;
		if (getStereoMode() == JmolConstants.STEREO_DOUBLE)
			width = (width + 1) / 2;
		if (dimScreen.width == width && dimScreen.height == height)
			return;
		dimScreen.width = width;
		dimScreen.height = height;
		transformManager.setScreenDimension(width, height);
		transformManager.scaleFitToScreen();
		g3d.setWindowSize(width, height, global.enableFullSceneAntialiasing);
	}