- /** Dirty regions on the backbuffer which need to be rebuilt using Box.render() */
- private DirtyList dirtyRegions = new DirtyList();
+ public Box root; ///< The Box at the root of this surface
+ public String cursor = "default"; ///< The active cursor to switch to when syncCursor() is called
+ public int mousex; ///< x position of the mouse, in Scheduler-time
+ public int mousey; ///< y position of the mouse, in Scheduler-time
+ public int newmousex = -1; ///< x position of the mouse, in realtime
+ public int newmousey = -1; ///< y position of the mouse, in realtime
+ public boolean minimized = false; ///< True iff this surface is minimized, in real time
+ public boolean maximized = false; ///< True iff this surface is maximized, in real time
+ private DirtyList dirtyRegions = new DirtyList(); ///< Dirty regions on the *screen*
+ private int width = 0; ///< The actual width of the surface
+ private int height = 0; ///< The actual height of the surface
+ public int getWidth() { return width; }
+ public int getHeight() { return height; }