/** true iff button 3 is depressed, in MessageQueue-time */
public static boolean button3 = false;
/** true iff button 3 is depressed, in MessageQueue-time */
public static boolean button3 = false;
/** false if the surface has never been rendered; used to determine if the surface should be repositioned to be centered on the screen */
public boolean centerSurfaceOnRender = true;
/** false if the surface has never been rendered; used to determine if the surface should be repositioned to be centered on the screen */
public boolean centerSurfaceOnRender = true;
/** the last time a Click message was processed; used for simulating DoubleClick's */
static long lastClickTime = 0;
/** the last time a Click message was processed; used for simulating DoubleClick's */
static long lastClickTime = 0;
else if (button == 3) {
final Box who = root.whoIs(mousex, mousey);
MessageQueue.add(new Message() { public void perform() {
else if (button == 3) {
final Box who = root.whoIs(mousex, mousey);
MessageQueue.add(new Message() { public void perform() {
Box b = (Box)keywatchers.elementAt(i);
for(Box cur = b; cur != null; cur = cur.getParent())
if (cur.invisible) continue outer;
Box b = (Box)keywatchers.elementAt(i);
for(Box cur = b; cur != null; cur = cur.getParent())
if (cur.invisible) continue outer;
Box b = (Box)keywatchers.elementAt(i);
for(Box cur = b; cur != null; cur = cur.getParent())
if (cur.invisible) continue outer;
Box b = (Box)keywatchers.elementAt(i);
for(Box cur = b; cur != null; cur = cur.getParent())
if (cur.invisible) continue outer;
// Root gets motion events outside itself (if trapped, of course)
if (root.is_trapped("Move") && !root.inside(oldmousex, oldmousey) && !root.inside(mousex, mousey) && (button1 || button2 || button3))
// Root gets motion events outside itself (if trapped, of course)
if (root.is_trapped("Move") && !root.inside(oldmousex, oldmousey) && !root.inside(mousex, mousey) && (button1 || button2 || button3))
root.Move(oldmousex, oldmousey, mousex, mousey);
if (!cursor.equals(oldcursor)) syncCursor();
root.Move(oldmousex, oldmousey, mousex, mousey);
if (!cursor.equals(oldcursor)) syncCursor();
- protected final void Close() { new SimpleMessage("Close", Boolean.TRUE, null); }
- protected final void Minimized(boolean b) { minimized = b; new SimpleMessage("Minimized", b ? Boolean.TRUE : Boolean.FALSE, null); }
- protected final void Maximized(boolean b) { maximized = b; new SimpleMessage("Maximized", b ? Boolean.TRUE : Boolean.FALSE, null); }
- protected final void Focused(boolean b) { new SimpleMessage("Focused", b ? Boolean.TRUE : Boolean.FALSE, null); }
+ protected final void Close() { new SimpleMessage("Close", Boolean.TRUE, root); }
+ protected final void Minimized(boolean b) { minimized = b; new SimpleMessage("Minimized", b ? Boolean.TRUE : Boolean.FALSE, root); }
+ protected final void Maximized(boolean b) { maximized = b; new SimpleMessage("Maximized", b ? Boolean.TRUE : Boolean.FALSE, root); }
+ protected final void Focused(boolean b) { new SimpleMessage("Focused", b ? Boolean.TRUE : Boolean.FALSE, root); }
public static void Refresh() { MessageQueue.refresh(); }
// the following value is split into two int's to work around GCJ bug java/6393
public static void Refresh() { MessageQueue.refresh(); }
// the following value is split into two int's to work around GCJ bug java/6393
/** wrapper for setSize() which makes sure to dirty the place where the scar used to be */
void _setSize(int width, int height) {
/** wrapper for setSize() which makes sure to dirty the place where the scar used to be */
void _setSize(int width, int height) {
- width = Math.max(width, scarPicture.getWidth());
- height = Math.max(height, scarPicture.getHeight());
- dirty(hscar,
- root.size(1) - vscar - scarPicture.getHeight(),
- scarPicture.getWidth(), scarPicture.getHeight());
+ if (scarred) {
+ width = Math.max(width, scarPicture.getWidth());
+ height = Math.max(height, scarPicture.getHeight());
+ dirty(hscar,
+ root.size(1) - vscar - scarPicture.getHeight(),
+ scarPicture.getWidth(), scarPicture.getHeight());
+ }
if (root == null) return;
if (Log.on) Log.log(this, "disposing " + this);
allSurfaces.removeElement(this);
_dispose();
// quit when all windows are closed
if (root == null) return;
if (Log.on) Log.log(this, "disposing " + this);
allSurfaces.removeElement(this);
_dispose();
// quit when all windows are closed
if (Log.on) {
if (refreshableSurfaceWasCreated) Log.log(this, "exiting because last remaining surface was disposed");
else Log.log(this, "exiting because no surface was ever created");
if (Log.on) {
if (refreshableSurfaceWasCreated) Log.log(this, "exiting because last remaining surface was disposed");
else Log.log(this, "exiting because no surface was ever created");
if (root.size(0) != width || root.size(1) != height) {
// since the scar will be moving, dirty the place it used to be
if (root.size(0) != width || root.size(1) != height) {
// since the scar will be moving, dirty the place it used to be
- dirty(hscar,
- root.size(1) - vscar - scarPicture.getHeight(),
- scarPicture.getWidth(), scarPicture.getHeight());
+ if (scarred) dirty(hscar,
+ root.size(1) - vscar - scarPicture.getHeight(),
+ scarPicture.getWidth(), scarPicture.getHeight());
root.render(x, y, w, h, backbuffer);
// if any area under the scar was repainted, rescar that area
root.render(x, y, w, h, backbuffer);
// if any area under the scar was repainted, rescar that area
y + h > height - scarPicture.getHeight() - vscar) {
int _x1 = Math.max(x, hscar);
int _x2 = Math.min(x + w, hscar + scarPicture.getWidth());
y + h > height - scarPicture.getHeight() - vscar) {
int _x1 = Math.max(x, hscar);
int _x2 = Math.min(x + w, hscar + scarPicture.getWidth());
- public void perform() {
- Surface.this.boxContainingMouse = this.boxContainingMouse;
- root.put(name, root, value);
- }
-
- public String toString() {
- return "SimpleMessage [name=" + name + ", value=" + value + "]";
- }
+ public void perform() { boxContainingMouse.put(name, value); }
+ public String toString() { return "SimpleMessage [name=" + name + ", value=" + value + "]"; }