else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
+ /*
// Disable 2d hardware acceleration on Jaguar
if (os_name.equals("Mac OS X") && os_version.equals("10.2"))
+ */
System.setProperty("com.apple.hwaccel", "false");
if (platform_class != null) {
/** Indicates that the backbuffer region x,y,w,h is no longer correct and must be regenerated */
public void dirty(int x, int y, int w, int h) {
+ x = 0; y = 0; w = 1000; h = 1000;
backbufferDirtyRegions.dirty(x, y, w, h);
Refresh();
}