*/
public abstract class Surface extends PixelBuffer {
- public int getWidth() { return root == null ? 0 : root.width; }
- public int getHeight() { return root == null ? 0 : root.height; }
-
// Static Data ////////////////////////////////////////////////////////////////////////////////
/**< the most recently enqueued Move message; used to throttle the message rate */
public abstract void setTitleBarText(String s); ///< Sets the surface's title bar text, if applicable
public abstract void setIcon(Picture i); ///< Sets the surface's title bar text, if applicable
public abstract void _dispose(); ///< Destroy the surface
+
+
+
+ // Sizing /////////////////////////////////////////////////////////////////////////////////
+
+ private int width = 0;
+ private int height = 0;
+ public int getWidth() { return width; }
+ public int getHeight() { return height; }
+
public void setLimits(int min_width, int min_height, int max_width, int max_height) { }
- protected abstract void _setSize(int width, int height); ///< Sets the surface's width and height.
+ /// should be overriden by subclasses; programmatically sets the height
+ protected abstract void _setSize(int width, int height);
- private int platform_window_width = 0;
- private int platform_window_height = 0;
+ public final void setWidth(int width) { setSize(width, this.height); }
+ public final void setHeight(int height) { setSize(this.width, height); }
protected final void setSize(int width, int height) {
- if (root.width != width || root.height != height) {
- root.dirty(0, root.height - Main.scarImage.getHeight(), Main.scarImage.getWidth(), Main.scarImage.getHeight());
- root.width = Math.max(Main.scarImage.getWidth(), width);
- root.height = Math.max(Main.scarImage.getHeight(), height);
- }
- if (root.width > 0 && root.height > 0 && platform_window_width != root.width && platform_window_height != root.height)
- _setSize(root.width, root.height);
+ if (this.width == width && this.height == height) return;
+ this.width = Math.max(Main.scarImage.getWidth(), width);
+ this.height = Math.max(Main.scarImage.getHeight(), height);
+ _setSize(width, height);
}
+
// Helper methods for subclasses ////////////////////////////////////////////////////////////
protected final void Press(final int button) {
protected final void SizeChange(final int width, final int height) {
Scheduler.add(new Scheduler.Task() { public void perform() {
- if (width == root.width && height == root.height) return;
root.set(root.REFLOW);
- platform_window_width = width;
- platform_window_height = height;
- do { abort = false; root.reflow(width, height); } while(abort);
+ Surface.this.width = width;
+ Surface.this.height = height;
}});
abort = true;
}
} catch (JSExn e) {
throw new Error("this should never happen");
}
-
- // make sure the root is properly sized
- do { abort = false; root.reflow(root.width, root.height); } while(abort);
-
- root.dirty();
Refresh();
}
/** runs the prerender() and render() pipelines in the root Box to regenerate the backbuffer, then blits it to the screen */
public synchronized void render() {
+ // FIXME ugly
+ if (root.width != width || root.height != height)
+ root.dirty(0, root.height - Main.scarImage.getHeight(), Main.scarImage.getWidth(), Main.scarImage.getHeight());
+
// make sure the root is properly sized
do {
abort = false;
- root.reflow(root.width, root.height);
- setSize(root.width, root.height);
+ root.reflow(width, height);
+ setSize(width, height);
// update mouseinside and trigger Enter/Leave as a result of box size/position changes
String oldcursor = cursor;
cursor = "default";