/** returns true iff the platform has a case-sensitive filesystem */
protected boolean _isCaseSensitive() { return true; }
+ /** returns an InputStream to the builtin xwar */
+ protected InputStream _getBuiltinInputStream() {
+ return Platform.class.getClassLoader().getResourceAsStream("org/xwt/builtin.xwar");
+ }
+
/** returns the value of the environment variable key, or null if no such key exists */
protected String _getEnv(String key) {
try {
/** creates and returns a picture */
public static Picture createPicture(int[] data, int w, int h) { return platform._createPicture(data, w, h); }
+ /** 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()); }