pixmap.getGLType(), pixmap.getPixels());\r
}\r
\r
+ static public void setEnforcePotImages (boolean enforcePotImages) {\r
+ /* doesn't matter on GWT ... hopefully? */\r
+ }\r
+ \r
/** @return the width of the texture in pixels */\r
public int getWidth () {\r
return data.getWidth();\r
\r
package java.lang;\r
\r
+import com.google.gwt.core.client.GWT;\r
+\r
public class Thread {\r
public static void sleep (long millis) throws InterruptedException {\r
// noop emu\r
}\r
+ \r
+ public static void setDefaultUncaughtExceptionHandler(final Thread.UncaughtExceptionHandler javaHandler) {\r
+ GWT.setUncaughtExceptionHandler(new GWT.UncaughtExceptionHandler() {\r
+ @Override\r
+ public void onUncaughtException (Throwable e) {\r
+ final Thread th = new Thread() {\r
+ @Override\r
+ public String toString() {\r
+ return "The only thread";\r
+ }\r
+ };\r
+ javaHandler.uncaughtException(th, e);\r
+ }\r
+ });\r
+ }\r
+ \r
+ public static interface UncaughtExceptionHandler {\r
+ void uncaughtException(Thread t, Throwable e);\r
+ }\r
}\r