/** A list of all the Boxes on this Surface that should be notified of keyboard events */
Vec keywatchers = new Vec();
- /**
- * this is incremented every time we render; it acts as a sort of 'timestamp' to let Boxes to know if they have
- * been dirtied since the last rendering began (and hence should not propagate up dirty() requests from their children)
- */
- volatile int dirtiedTimeStamp = 0;
-
/** When set to true, render() should abort as soon as possible and restart the rendering process */
volatile boolean abort = false;
/** runs the prerender() and render() pipelines in the root Box to regenerate the backbuffer, then blits it to the screen */
public synchronized void render() {
- if (++dirtiedTimeStamp == Integer.MAX_VALUE - 1) dirtiedTimeStamp = 0;
-
// if the window size changed as a result of a user action, we have to update the root box's size
if (root.size(0) != width || root.size(1) != height) {