long lastResizeTime = (((long)lastResizeTimeTop) << 32) | (long)lastResizeTimeBottom;
if (Platform.supressDirtyOnResize() && System.currentTimeMillis() - lastResizeTime < 100 && (w >= width - 1 || h >= height - 1)) return;
screenDirtyRegions.dirty(x, y, w, h);
- blitDirtyScreenRegions();
+ Refresh();
}
/** 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) {