};
}
- /** Called once XWT is initialized and the application is running. */
- protected void _running() {}
+ /** Called once XWT is initialized and the application is running. */
+ protected void _running() {}
/** quits XWT */
protected void _exit() { System.exit(0); }
/** returns an InputStream to the builtin xwar */
protected InputStream _getBuiltinInputStream() {
- return Platform.class.getClassLoader().getResourceAsStream("org/xwt/builtin.xwar");
+ return Platform.class.getClassLoader().getResourceAsStream("org/xwt/builtin.xwar");
}
/** returns the value of the environment variable key, or null if no such key exists */
/** returns an InputStream to the builtin xwar */
public static InputStream getBuiltinInputStream() { return platform._getBuiltinInputStream(); }
-
+
/** creates and returns a picture */
public static Picture createPicture(ImageDecoder i) { return platform._createPicture(i.getData(), i.getWidth(), i.getHeight()); }
platform._newBrowserWindow(url);
}
- /** Called once XWT is initialized and the application is running. */
- public static void running() {
- Log.log(Platform.class, "XWT is running");
- platform._running();
- }
-
+ /** Called once XWT is initialized and the application is running. */
+ public static void running() {
+ Log.log(Platform.class, "XWT is running");
+ platform._running();
+ }
+
/** quits XWT */
public static void exit() {
Log.log(Platform.class, "exiting via Platform.exit()");
}
public static synchronized ImageDecoder decodeJPEG(InputStream is, String name) {
- return platform._decodeJPEG(is, name);
+ return platform._decodeJPEG(is, name);
}
// Helpful font parsing stuff //////////////////////////////////////////////////////