- /** should return true if it is safe to supress full-surface dirties immediately after a window resize */
- public static boolean supressDirtyOnResize() { return platform._supressDirtyOnResize(); }
- protected boolean _supressDirtyOnResize() { return false; }
+ public static PixelBuffer createPixelBuffer(int w, int h, Surface s) { return platform._createPixelBuffer(w, h, s); }
+ public static Picture createPicture(Stream r) { return platform._createPicture(r); }
+ public static Font.Glyph createGlyph(org.xwt.Font f, char c) { return platform._createGlyph(f, c); }
+ public static Surface createSurface(Box b, boolean framed, boolean refreshable) {
+ Surface ret = platform._createSurface(b, framed);
+ ret.setInvisible(false);
+ ret.setLimits(b.minwidth, b.minheight, b.maxwidth, b.maxheight);
+ if (refreshable) {
+ Surface.allSurfaces.addElement(ret);
+ ret.dirty(0, 0, b.width, b.height);
+ ret.Refresh();
+ }
+ return ret;
+ }