2004/01/07 20:37:32
[org.ibex.core.git] / src / org / xwt / Box.java
index 3ac48d4..c4f34e5 100644 (file)
@@ -39,7 +39,7 @@ import org.xwt.translators.*;
  *  SizeChanges trigger an Surface.abort; if rendering were done in the same
  *  pass, rendering work done prior to the Surface.abort would be wasted.
  */
-public abstract class Box extends JSScope implements JSTrap.JSTrappable {
+public final class Box extends JSScope implements Scheduler.Task {
 
     // Macros //////////////////////////////////////////////////////////////////////
 
@@ -57,10 +57,43 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
     //#define CHECKSET_BOOLEAN(prop) boolean nu = toBoolean(value); if (nu == prop) break; prop = nu;
     //#define CHECKSET_STRING(prop) if ((value==null&&prop==null)||(value!=null&&value.equals(prop))) break; prop=(String)value;
 
+    void mark_for_repack() { MARK_REPACK; }
+
     protected Box() { super(null); }
 
     static Hash boxToCursor = new Hash(500, 3);
     public static final int MAX_LENGTH = Integer.MAX_VALUE;
+    static final Font DEFAULT_FONT;
+   
+    static {
+        Font f = null;
+        try { f = Font.getFont((Stream)Main.builtin.get("fonts/vera/Vera.ttf"), 10); }
+        catch(JSExn e) { Log.info(Box.class, "should never happen: "+e); }
+        DEFAULT_FONT = f;
+    }
+
+    // FIXME update these
+    // box properties can not be trapped
+    static final String[] props = new String[] {
+        "shrink", "hshrink", "vshrink", "x", "y", "width", "height", "cols", "rows",
+        "colspan", "rowspan", "align", "visible", "packed", "globalx", "globaly",
+        "minwidth", "maxwidth", "minheight", "maxheight", "indexof", "thisbox", "clip",
+        "numchildren", "redirect", "cursor", "mouse"
+    };
+
+    // FIXME update these
+    // events can have write traps, but not read traps
+    static final String[] events = new String[] {
+        "Press1", "Press2", "Press3",
+        "Release1", "Release2", "Release3",
+        "Click1", "Click2", "Click3",
+        "DoubleClick1", "DoubleClick2", "DoubleClick3",
+        "Enter", "Leave", "Move", 
+        "KeyPressed", "KeyReleased", "PosChange", "SizeChange",
+        "childadded", "childremoved",
+        "Focused", "Maximized", "Minimized", "Close",
+        "icon", "titlebar", "toback", "tofront"
+    };
 
     // Flags //////////////////////////////////////////////////////////////////////
 
@@ -86,22 +119,25 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
     static final int ALIGN_RIGHT  = 0x00008000;
     static final int ALIGNS       = 0x0000f000;
     static final int CURSOR       = 0x00010000;  // if true, this box has a cursor in the cursor hash; FEATURE: GC issues?
-    static final int NOCLIP       = 0x00020000;
+    static final int CLIP         = 0x00020000;
+    static final int STOP_UPWARD_PROPAGATION    = 0x00040000;
 
 
     // Instance Data //////////////////////////////////////////////////////////////////////
 
     Box parent = null;
     Box redirect = this;
-    int flags = VISIBLE | PACKED | REPACK | REFLOW | RESIZE | FIXED /* ROWS */;
+    int flags = VISIBLE | PACKED | REPACK | REFLOW | RESIZE | FIXED /* ROWS */ | STOP_UPWARD_PROPAGATION | CLIP;
 
     private String text = null;
-    private Font font = null;
-    private Picture texture;
+    private Font font = DEFAULT_FONT; 
+    private Picture texture = null;
     private short strokewidth = 1;
-    private int fillcolor = 0x00000000;
+    public int fillcolor = 0x00000000;
     private int strokecolor = 0xFF000000;
 
+    private int aspect = 0;
+
     // specified directly by user
     public LENGTH minwidth = 0;
     public LENGTH maxwidth = MAX_LENGTH;
@@ -131,15 +167,33 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
 
     // Instance Methods /////////////////////////////////////////////////////////////////////
 
+
+    /** invoked when a resource needed to render ourselves finishes loading */
+    public void perform() throws JSExn {
+
+        // FIXME; we can't assume that just because we were performed the image is loaded.
+        // as external events have occured, check the state of box
+        if (texture != null) {
+            if (texture.isLoaded) { minwidth = min(texture.width, maxwidth); minheight = min(texture.height, maxheight); }
+            else { Stream res = texture.res; texture = null; throw new JSExn("image not found: "+res); }
+        }
+
+        MARK_REPACK;
+        MARK_REFLOW;
+        MARK_RESIZE;
+        dirty();
+    }
+
     public Box getRoot() { return parent == null ? this : parent.getRoot(); }
     public Surface getSurface() { return Surface.fromBox(getRoot()); }
 
     // FEATURE: use cx2/cy2 format
     /** Adds the intersection of (x,y,w,h) and the node's current actual geometry to the Surface's dirty list */
-    public final void dirty() { dirty(0, 0, width, height); }
-    public final void dirty(int x, int y, int w, int h) {
+    public void dirty() { dirty(0, 0, width, height); }
+    public void dirty(int x, int y, int w, int h) {
         for(Box cur = this; cur != null; cur = cur.parent) {
-            if (!cur.test(NOCLIP)) {
+            // x and y have a different meaning on the root box
+            if (cur.parent != null && cur.test(CLIP)) {
                 w = min(x + w, cur.width) - max(x, 0);
                 h = min(y + h, cur.height) - max(y, 0);
                 x = max(x, 0);
@@ -152,30 +206,6 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         }
     }
 
-    // fixme
-    public void putAndTriggerJSTraps(Object key, Object value) {
-        put(key, value);
-    }
-
-    /** update MOUSEINSIDE, check for Enter/Leave/Move */
-    void Move(int oldmousex, int oldmousey, int mousex, int mousey) { Move(oldmousex, oldmousey, mousex, mousey, false); }
-    void Move(int oldmousex, int oldmousey, int mousex, int mousey, boolean forceleave) {
-        boolean wasinside = test(MOUSEINSIDE);
-        boolean isinside = test(VISIBLE) && inside(mousex, mousey) && !forceleave;
-        if (isinside) set(MOUSEINSIDE); else clear(MOUSEINSIDE);
-        if (!wasinside && !isinside) return;
-        
-        if (isinside && test(CURSOR)) Surface.fromBox(getRoot()).cursor = (String)boxToCursor.get(this);
-        if (!wasinside && isinside && getTrap("Enter") != null) putAndTriggerJSTraps("Enter", T);
-        else if (wasinside && !isinside && getTrap("Leave") != null) putAndTriggerJSTraps("Leave", T);
-        else if (wasinside && isinside && (mousex != oldmousex || mousey != oldmousey) && getTrap("Move")!= null)
-            putAndTriggerJSTraps("Move", T);
-        for(Box b = getChild(numchildren - 1); b != null; b = b.prevSibling()) {
-            b.Move(oldmousex - b.x, oldmousey - b.y, mousex - b.x, mousey - b.y, forceleave);
-            if (b.inside(mousex - b.x, mousey - b.y)) forceleave = true;
-        }
-    }
-
 
     // Reflow ////////////////////////////////////////////////////////////////////////////////////////
 
@@ -187,19 +217,8 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
     private static LENGTH[] rowMaxHeight = new LENGTH[65535];
     static { for(int i=0; i<rowMaxHeight.length; i++) { rowMaxHeight[i] = MAX_LENGTH; colMaxWidth[i] = MAX_LENGTH; } }
 
-    final Box nextPackedSibling() { Box b = nextSibling(); return b == null || (b.test(PACKED | VISIBLE)) ? b : b.nextPackedSibling(); }
-    final Box firstPackedChild() { Box b = getChild(0); return b == null || (b.test(PACKED | VISIBLE)) ? b : b.nextPackedSibling(); }
-
-    /** only for use on the root box */
-    void reflow(int new_width, int new_height) {
-        repack();
-        /*
-        new_width = bound(max(contentwidth, minwidth), new_width, test(HSHRINK) ? max(contentwidth, minwidth) : maxwidth);
-        new_height = bound(max(contentheight, minheight), new_height, test(VSHRINK) ? max(contentheight, minheight) : maxheight);
-        */
-        resize(x, y, new_width, new_height);
-        resize_children();
-    }
+    Box nextPackedSibling() { Box b = nextSibling(); return b == null || (b.test(PACKED | VISIBLE)) ? b : b.nextPackedSibling(); }
+    Box firstPackedChild() { Box b = getChild(0); return b == null || (b.test(PACKED | VISIBLE)) ? b : b.nextPackedSibling(); }
 
     /** pack the boxes into rows and columns; also computes contentwidth */
     void repack() {
@@ -209,14 +228,15 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         if (test(FIXED) == COLS) {
             short r = 0;
             for(Box child = firstPackedChild(); child != null; r++) {
-                for(short col=0, numclear=0; child != null && col < cols;) {
-                    if (numRowsInCol[col] > r) continue;
-                    if (col != 0 && col + min(cols, child.colspan) > cols) break;
+                for(short c=0, numclear=0; child != null && c < cols; c++) {
+                    if (numRowsInCol[c] > r) { numclear = 0; continue; }
+                    if (c != 0 && c + min(cols, child.colspan) - numclear > cols) break;
                     if (++numclear < min(cols, child.colspan)) continue;
-                    for(int i=col - numclear + 1; i <= col; i++) numRowsInCol[i] += child.rowspan;
-                    child.col = col; child.row = r;
+                    for(int i=c - numclear + 1; i <= c; i++) numRowsInCol[i] += child.rowspan;
+                    child.col = (short)(c - numclear + 1); child.row = r;
                     rows = (short)max(rows, child.row + child.rowspan);
                     child = child.nextPackedSibling();
+                    numclear = 0;
                 }
             }
             for(int i=0; i<cols; i++) numRowsInCol[i] = 0;
@@ -229,27 +249,45 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         for(Box child = firstPackedChild(); child != null; child = child.nextPackedSibling())
             colWidth[child.col] = max(colWidth[child.col], child.contentwidth / child.colspan);
         for(int i=0; i<cols; i++) { contentwidth += colWidth[i]; colWidth[i] = 0; }
-
         contentwidth = bound(minwidth, max(font == null || text == null ? 0 : font.textwidth(text), contentwidth), maxwidth);
         //#end               
     }
     
-    private void resize(LENGTH x, LENGTH y, LENGTH width, LENGTH height) {
-        // FEATURE reimplement, but we're destroying this
+    void resize(LENGTH x, LENGTH y, LENGTH width, LENGTH height) {
         if (x != this.x || y != this.y || width != this.width || height != this.height) {
-            (parent == null ? this : parent).dirty(this.x, this.y, this.width, this.height);
             boolean sizechange = (this.width != width || this.height != height) && getTrap("SizeChange") != null;
             boolean poschange = (this.x != x || this.y != y) && getTrap("PosChange") != null;
+            do {
+                int thisx = parent == null ? 0 : this.x;
+                int thisy = parent == null ? 0 : this.y;
+
+                // we can't reenable this until we track
+                // surface-relative sizes; imagine the case of a clear
+                // surface with nonclear children
+
+                /*
+                if (texture == null && (text == null || text.equals(""))) {
+                    if ((fillcolor & 0xff000000) == 0) break;
+                    // FEATURE: more optimizations here
+                    if (this.x == x && this.y == y) {
+                        Box who = (parent == null ? this : parent);
+                        who.dirty(thisx+min(this.width,width), thisy, Math.abs(width-this.width), max(this.height, height));
+                        who.dirty(thisx, thisy+min(this.height,height), min(this.width, width), Math.abs(height-this.height));
+                        break;
+                    }
+                }
+                */
+                (parent == null ? this : parent).dirty(thisx, thisy, this.width, this.height);
+                this.width = width; this.height = height; this.x = x; this.y = y;
+                dirty();
+            } while (false);
             this.width = width; this.height = height; this.x = x; this.y = y;
-            dirty();
-            try { if (sizechange) putAndTriggerJSTraps("SizeChange", T); /*Surface.abort = true;*/ }
-            catch (Exception e) { Log.log(this, e); }
-            try { if (poschange) putAndTriggerJSTraps("PosChange", T); /*Surface.abort = true;*/ }
-            catch (Exception e) { Log.log(this, e); }
+            if (sizechange) putAndTriggerTrapsAndCatchExceptions("SizeChange", T);
+            if (poschange)  putAndTriggerTrapsAndCatchExceptions("PosChange", T);
         }
     }
 
-    private void resize_children() {
+    void resize_children() {
 
         //#repeat col/row colspan/rowspan contentwidth/contentheight x/y width/height colMaxWidth/rowMaxHeight colWidth/rowHeight \
         //        HSHRINK/VSHRINK maxwidth/maxheight cols/rows minwidth/minheight colWidth/rowHeight x_slack/y_slack
@@ -269,7 +307,8 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
             int increment = max(1, x_slack / cols);
             startslack = x_slack;
             for(short col=0; col < cols; col++) {
-                int diff = min(colMaxWidth[col], colWidth[col] + increment) - colWidth[col];
+                // FIXME: double check this
+                int diff = min(min(colMaxWidth[col], colWidth[col] + increment) - colWidth[col], x_slack);
                 x_slack -= diff;
                 colWidth[col] += diff;
             }
@@ -294,7 +333,7 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
                 //        colWidth/rowHeight child_width/child_height ALIGN_RIGHT/ALIGN_BOTTOM ALIGN_LEFT/ALIGN_TOP
                 unbounded = 0;
                 for(int i = child.col; i < child.col + child.colspan; i++) unbounded += colWidth[i];
-                child_width = bound(child.contentwidth, unbounded, child.test(HSHRINK) ? child.contentwidth : child.maxwidth);
+                child_width = min(unbounded, child.test(HSHRINK) ? child.contentwidth : child.maxwidth);
                 child_x = test(ALIGN_RIGHT) ? x_slack : test(ALIGN_LEFT) ? 0 : x_slack / 2;
                 for(int i=0; i < child.col; i++) child_x += colWidth[i];
                 if (child_width > unbounded) child_x -= (child_width - unbounded) / 2;
@@ -323,7 +362,8 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         int globaly = parenty + (parent == null ? 0 : y);
 
         // intersect the x,y,w,h rendering window with ourselves; quit if it's empty
-        if (!test(NOCLIP)) {
+
+        if (test(CLIP)) {
             cx1 = max(cx1, parent == null ? 0 : globalx);
             cy1 = max(cy1, parent == null ? 0 : globaly);
             cx2 = min(cx2, globalx + width);
@@ -331,18 +371,18 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
             if (cx2 <= cx1 || cy2 <= cy1) return;
         }
 
-        if ((fillcolor & 0xFF000000) != 0x00000000)
-            buf.fillTrapezoid(globalx, globalx + width, globaly, globalx, globalx + width, globaly + height, fillcolor);
+        if ((fillcolor & 0xFF000000) != 0x00000000 || parent == null)
+            buf.fillTrapezoid(cx1, cx2, cy1, cx1, cx2, cy2, (fillcolor & 0xFF000000) == 0 ? 0xffffffff : fillcolor);
 
-        if (texture != null)
-            for(int x = globalx; x < cx2; x += texture.getWidth())
-                for(int y = globaly; y < cy2; y += texture.getHeight())
+        // FIXME: do aspect in here
+        if (texture != null && texture.isLoaded)
+            for(int x = globalx; x < cx2; x += texture.width)
+                for(int y = globaly; y < cy2; y += texture.height)
                     buf.drawPicture(texture, x, y, cx1, cy1, cx2, cy2);
 
-       if (text != null && !text.equals("") && font != null)
+        if (text != null && !text.equals("") && font != null)
             if (font.rasterizeGlyphs(text, buf, strokecolor, globalx, globaly, cx1, cy1, cx2, cy2, null) == -1)
-                font.rasterizeGlyphs(text, buf, strokecolor, globalx, globaly, cx1, cy1, cx2, cy2,
-                                    new Scheduler.Task() { public void perform() { Box b = Box.this; MARK_REFLOW_b; dirty(); }});
+                font.rasterizeGlyphs(text, buf, strokecolor, globalx, globaly, cx1, cy1, cx2, cy2, this);
 
         for(Box b = getChild(0); b != null; b = b.nextSibling())
             b.render(globalx, globaly, cx1, cy1, cx2, cy2, buf, null);
@@ -356,31 +396,39 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
     public int localToGlobalX(int x) { return parent == null ? x : parent.globalToLocalX(x + this.x); }
     public int localToGlobalY(int y) { return parent == null ? y : parent.globalToLocalY(y + this.y); }
     
-    public Object call(Object method, JSArray args) throws JS.Exn {
-        if (!"indexof".equals(method)) return null;
-        Box b = (Box)args.elementAt(0);
-        if (b.parent != this) return (redirect == null || redirect == this) ? N(-1) : redirect.call(method, args);
+    public Object callMethod(Object method, Object a0, Object a1, Object a2, Object[] rest, int nargs) throws JSExn {
+        if (nargs != 1 || !"indexof".equals(method)) return super.callMethod(method, a0, a1, a2, rest, nargs);
+        Box b = (Box)a0;
+        if (b.parent != this)
+            return (redirect == null || redirect == this) ?
+                N(-1) :
+                redirect.callMethod(method, a0, a1, a2, rest, nargs);
         return N(b.getIndexInParent());
     }
 
-    /** to be filled in by the Tree implementation */
-    abstract void put(int i, Object value);
-    public int numchildren = 0;
-    abstract public int getIndexInParent();
-    abstract public Box getChild(int i);
-    abstract public Box nextSibling();
-    abstract public Box prevSibling();
-    abstract public void remove();
-    abstract Box swapPosition(Box x, Box y);
-
-    public Object get(Object name) { return get(name, false); }
-    public Object get(Object name, boolean ignoretraps) {
+    public Enumeration keys() { throw new Error("you cannot apply for..in to a " + this.getClass().getName()); }
+
+    protected boolean isTrappable(Object key, boolean isRead) {
+        if (key == null) return false;
+        else if (key instanceof String) {
+            // not allowed to trap box properties, and no read traps on events
+            String name = (String)key;
+            for (int i=0; i < props.length; i++) if (name.equals(props[i])) return false; 
+            if (isRead) for (int i=0; i < events.length; i++) if (name.equals(events[i])) return false; 
+        }
+
+        return true;
+    }
+
+    public Object get(Object name) throws JSExn {
         if (name instanceof Number)
             return redirect == null ? null : redirect == this ? getChild(toInt(name)) : redirect.get(name);
 
         //#switch(name)
+        case "surface": return parent == null ? null : parent.getAndTriggerTraps("surface");
+        case "indexof": return METHOD;
         case "text": return text;
-        case "path": throw new JS.Exn("cannot read from the path property");
+        case "path": throw new JSExn("cannot read from the path property");
         case "fill": return colorToString(fillcolor);
         case "strokecolor": return colorToString(strokecolor);
         case "textcolor": return colorToString(strokecolor);
@@ -392,95 +440,153 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         case "shrink": return B(test(HSHRINK) || test(VSHRINK));
         case "hshrink": return B(test(HSHRINK));
         case "vshrink": return B(test(VSHRINK));
+        case "aspect": return N(aspect);
         case "x": return (parent == null || !test(VISIBLE)) ? N(0) : N(x);
         case "y": return (parent == null || !test(VISIBLE)) ? N(0) : N(y);
-        case "width": return N(width);
-        case "height": return N(height);
         case "cols": return test(FIXED) == COLS ? N(cols) : N(0);
         case "rows": return test(FIXED) == ROWS ? N(rows) : N(0);
         case "colspan": return N(colspan);
         case "rowspan": return N(rowspan);
-        case "noclip": return B(test(NOCLIP));
+        case "width": return N(width);
+        case "height": return N(height);
+        case "minwidth": return N(minwidth);
+        case "maxwidth": return N(maxwidth);
+        case "minheight": return N(minheight);
+        case "maxheight": return N(maxheight);
+        case "clip": return B(test(CLIP));
         case "visible": return B(test(VISIBLE) && (parent == null || (parent.get("visible") == T)));
         case "packed": return B(test(PACKED));
         case "globalx": return N(localToGlobalX(0));
         case "globaly": return N(localToGlobalY(0));
         case "cursor": return test(CURSOR) ? boxToCursor.get(this) : null;
-        case "mousex": { Surface s = getSurface(); return N(s == null ? 0 : globalToLocalX(s.mousex)); }
-        case "mousey": { Surface s = getSurface(); return N(s == null ? 0 : globalToLocalY(s.mousey)); }
-        case "mouseinside": return B(test(MOUSEINSIDE));
-        case "numchildren": return redirect == null ? N(0) : redirect == this ? N(numchildren) : redirect.get("numchildren");
-        case "minwidth": return N(minwidth);
-        case "maxwidth": return N(maxwidth);
-        case "minheight": return N(minheight);
-        case "maxheight": return N(maxheight);
+        case "mouse":
+            if (getSurface() == null) return null;
+            if (getSurface()._mousex == Integer.MAX_VALUE)
+                throw new JSExn("you cannot read from the box.mouse property in background thread context");
+            return new Mouse();
+        case "numchildren": return redirect == null ? N(0) : redirect == this ? N(treeSize()) : redirect.get("numchildren");
         case "redirect": return redirect == null ? null : redirect == this ? T : redirect.get("redirect");
         case "Minimized": if (parent == null && getSurface() != null) return B(getSurface().minimized);
         default: return super.get(name);
         //#end
-        return null;
+        throw new Error("unreachable"); // unreachable
     }
 
-    public void put(Object name, Object value) { put(name, value, false); }
-    public void put(Object name, Object value, boolean ignoretraps) {
-        if (name instanceof Number) { put(toInt(name), value); return; }
+    private class Mouse extends JS {
+        public Object get(Object key) {
+            //#switch(key)
+            case "x": return N(globalToLocalX(getSurface()._mousex));
+            case "y": return N(globalToLocalY(getSurface()._mousey));
+
+            // this might not get recomputed if we change mousex/mousey...
+            case "inside": return B(test(MOUSEINSIDE));
+            //#end
+            return null;
+        }
+    }
+
+    void setMaxWidth(Object value) {
+        do { CHECKSET_INT(maxwidth); MARK_RESIZE; } while(false);
+        if (parent == null && getSurface() != null) getSurface().pendingWidth = maxwidth;
+    }
+    void setMaxHeight(Object value) {
+        do { CHECKSET_INT(maxheight); MARK_RESIZE; } while(false);
+        if (parent == null && getSurface() != null) getSurface().pendingHeight = maxheight;
+    }
 
+    public void put(Object name, Object value) throws JSExn {
+        if (name instanceof Number) { put(toInt(name), value); return; }
         //#switch(name)
         case "text": CHECKSET_STRING(text); MARK_RESIZE; dirty();
         case "strokecolor": value = N(stringToColor((String)value)); CHECKSET_INT(strokecolor); MARK_RESIZE; dirty();
         case "textcolor": value = N(stringToColor((String)value)); CHECKSET_INT(strokecolor); MARK_RESIZE; dirty();
         case "text": CHECKSET_STRING(text); MARK_RESIZE; dirty();
         case "strokewidth": CHECKSET_SHORT(strokewidth); dirty();
-        case "thisbox": if (value == null) remove();
         case "shrink": put("hshrink", value); put("vshrink", value);
         case "hshrink": CHECKSET_FLAG(HSHRINK); MARK_RESIZE;
         case "vshrink": CHECKSET_FLAG(VSHRINK); MARK_RESIZE;
-        case "width": if (parent==null&&Surface.fromBox(this)!=null) { CHECKSET_INT(width); } else { put("maxwidth", value); put("minwidth", value); MARK_RESIZE; }
-        case "height": if (parent == null&&Surface.fromBox(this)!=null) { CHECKSET_INT(height); } else { put("maxheight", value); put("minheight", value); MARK_RESIZE; }
-        case "maxwidth": CHECKSET_INT(maxwidth); MARK_RESIZE;
+        case "width": put("maxwidth", value); put("minwidth", value); MARK_RESIZE;
+        case "height": put("maxheight", value); put("minheight", value); MARK_RESIZE;
+        case "maxwidth": setMaxWidth(value);
         case "minwidth": CHECKSET_INT(minwidth); MARK_RESIZE;
-        case "maxheight": CHECKSET_INT(maxheight); MARK_RESIZE;
+        case "maxheight": setMaxHeight(value);
         case "minheight": CHECKSET_INT(minheight); MARK_RESIZE;
         case "colspan": CHECKSET_SHORT(colspan); MARK_REPACK_parent;
-        case "rowspan": CHECKSET_SHORT(colspan); MARK_REPACK_parent;
+        case "rowspan": CHECKSET_SHORT(rowspan); MARK_REPACK_parent;
         case "rows": CHECKSET_SHORT(rows); if (rows==0){set(FIXED, COLS);if(cols==0)cols=1;} else set(FIXED, ROWS); MARK_REPACK;
         case "cols": CHECKSET_SHORT(cols); if (cols==0){set(FIXED, ROWS);if(rows==0)rows=1;} else set(FIXED, COLS); MARK_REPACK;
-        case "noclip": CHECKSET_FLAG(NOCLIP); if (parent == null) dirty(); else parent.dirty();
+        case "clip": CHECKSET_FLAG(CLIP); if (parent == null) dirty(); else parent.dirty();
         case "visible": CHECKSET_FLAG(VISIBLE); dirty(); MARK_RESIZE; dirty();
         case "packed": CHECKSET_FLAG(PACKED); MARK_REPACK_parent;
+        case "aspect": CHECKSET_INT(aspect); dirty();
         case "globalx": put("x", N(globalToLocalX(toInt(value))));
         case "globaly": put("y", N(globalToLocalY(toInt(value))));
         case "align": clear(ALIGNS); setAlign(value == null ? "center" : value); MARK_RESIZE;
         case "cursor": setCursor(value);
         case "fill": setFill(value);
-        case "Press1": mouseEvent("Press1", value);
-        case "Press2": mouseEvent("Press2", value);
-        case "Press3": mouseEvent("Press3", value);
-        case "Release1": mouseEvent("Release1", value);
-        case "Release2": mouseEvent("Release2", value);
-        case "Release3": mouseEvent("Release3", value);
-        case "Click1": mouseEvent("Click1", value);
-        case "Click2": mouseEvent("Click2", value);
-        case "Click3": mouseEvent("Click3", value);
-        case "DoubleClick1": mouseEvent("DoubleClick1", value);
-        case "DoubleClick2": mouseEvent("DoubleClick2", value);
-        case "DoubleClick3": mouseEvent("DoubleClick3", value);
+        case "mouse":
+            int mousex = toInt(((JS)value).get("x"));
+            int mousey = toInt(((JS)value).get("y"));
+            getSurface()._mousex = localToGlobalX(mousex);
+            getSurface()._mousey = localToGlobalY(mousey);
         case "Minimized": if (parent == null && getSurface() != null) getSurface().minimized = toBoolean(value);  // FEATURE
         case "Maximized": if (parent == null && getSurface() != null) getSurface().maximized = toBoolean(value);  // FEATURE
         case "Close": if (parent == null && getSurface() != null) getSurface().dispose(true);
-        case "toback": if (parent == null && getSurface() != null && toBoolean(value)) { getSurface().toBack(); }
-        case "tofront": if (parent == null && getSurface() != null && toBoolean(value)) { getSurface().toFront(); }
-        case "redirect": if (redirect == this) redirect = (Box)value; else Log.log(this, "redirect can only be set once");
-        case "font": font = value == null ? null : Font.getFont((Res)value, font == null ? 10 : font.pointsize); MARK_RESIZE; dirty();
+        case "redirect": if (redirect == this) redirect = (Box)value; else Log.info(this, "redirect can only be set once");
+        case "font":
+            if(!(value instanceof Stream)) throw new JSExn("You can only put streams to the font property");
+            font = value == null ? null : Font.getFont((Stream)value, font == null ? 10 : font.pointsize);
+            MARK_RESIZE;
+            dirty();
         case "fontsize": font = Font.getFont(font == null ? null : font.res, toInt(value)); MARK_RESIZE; dirty();
-        case "x": if (test(PACKED) && parent != null) return; CHECKSET_INT(x); dirty(); MARK_RESIZE; dirty();
-        case "y": if (test(PACKED) && parent != null) return; CHECKSET_INT(y); dirty(); MARK_RESIZE; dirty();
-        case "KeyPressed":     // prevent stuff from hitting the Hash
-        case "KeyReleased":    // prevent stuff from hitting the Hash
-        case "PosChange":      // prevent stuff from hitting the Hash
-        case "SizeChange":     // prevent stuff from hitting the Hash
-        case "childadded":     // prevent stuff from hitting the Hash
-        case "childremoved":   // prevent stuff from hitting the Hash
+        case "x": if (parent==null && Surface.fromBox(this)!=null) { CHECKSET_INT(x); } else { if (test(PACKED) && parent != null) return; CHECKSET_INT(x); dirty(); MARK_RESIZE; dirty(); }
+        case "y": if (parent==null && Surface.fromBox(this)!=null) { CHECKSET_INT(y); } else { if (test(PACKED) && parent != null) return; CHECKSET_INT(y); dirty(); MARK_RESIZE; dirty(); }
+        case "titlebar":
+            if (getSurface() != null && value != null) getSurface().setTitleBarText(JS.toString(value));
+            super.put(name,value);
+            
+        case "Press1":        if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Press2":        if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Press3":        if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Release1":      if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Release2":      if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Release3":      if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Click1":        if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Click2":        if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Click3":        if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "DoubleClick1":  if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "DoubleClick2":  if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "DoubleClick3":  if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "KeyPressed":    if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "KeyReleased":   if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Move":          if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Enter":         if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+        case "Leave":         if (!test(STOP_UPWARD_PROPAGATION) && parent != null) parent.putAndTriggerTraps(name, value);
+
+        case "_Move":         propagateDownward(name, value, false);
+        case "_Press1":       propagateDownward(name, value, false);
+        case "_Press2":       propagateDownward(name, value, false);
+        case "_Press3":       propagateDownward(name, value, false);
+        case "_Release1":     propagateDownward(name, value, false);
+        case "_Release2":     propagateDownward(name, value, false);
+        case "_Release3":     propagateDownward(name, value, false);
+        case "_Click1":       propagateDownward(name, value, false);
+        case "_Click2":       propagateDownward(name, value, false);
+        case "_Click3":       propagateDownward(name, value, false);
+        case "_DoubleClick1": propagateDownward(name, value, false);
+        case "_DoubleClick2": propagateDownward(name, value, false);
+        case "_DoubleClick3": propagateDownward(name, value, false);
+        case "_KeyPressed":   propagateDownward(name, value, false);
+        case "_KeyReleased":  propagateDownward(name, value, false);
+
+        case "PosChange":     return;
+        case "SizeChange":    return;
+        case "childadded":    return;
+        case "childremoved":  return;
+
+        case "thisbox":       if (value == null) removeSelf();
+
+        default:              super.put(name, value);
         //#end
     }
 
@@ -510,7 +616,7 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         case "bottom": set(ALIGN_BOTTOM);
         case "left": set(ALIGN_LEFT);
         case "right": set(ALIGN_RIGHT);
-        default: Log.logJS("invalid alignment \"" + value + "\"");
+        default: JS.log("invalid alignment \"" + value + "\"");
         //#end
     }
     
@@ -521,55 +627,79 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         boxToCursor.put(this, value);
         Surface surface = getSurface();
         String tempcursor = surface.cursor;
-        Move(surface.mousex, surface.mousey, surface.mousex, surface.mousey);
+        // FIXME
+        //Move(surface.mousex, surface.mousey, surface.mousex, surface.mousey);
         if (surface.cursor != tempcursor) surface.syncCursor();
     }
 
-    private void setFill(Object value) {
-        if (value == null) return;
-        if (value instanceof String) {
+    private void setFill(Object value) throws JSExn {
+        if (value == null) {
+            // FIXME: Check this... does this make it transparent? 
+            texture = null;
+            fillcolor = 0;
+        } else if (value instanceof String) {
             // FIXME check double set
-            fillcolor = stringToColor((String)value);
+            int newfillcolor = stringToColor((String)value);
+            if (newfillcolor == fillcolor) return;
+            fillcolor = newfillcolor;
+        } else if(value instanceof Stream) {
+            texture = Picture.load((Stream)value, this);
+        } else {
+            throw new JSExn("fill must be null, a String, or a stream");
         }
-        if (!(value instanceof Res)) return;
-        Picture pic = Picture.fromRes((Res)value, null);
-        if (pic != null) {
-            texture = pic;
-            minwidth = texture.getWidth();
-            minheight = texture.getHeight();
-            MARK_REFLOW;
-            dirty();
-        } else Picture.fromRes((Res)value, new Callback() { public Object call(Object arg) {
-            texture = (Picture)arg;
-            minwidth = texture.getWidth();
-            minheight = texture.getHeight();
-            Box b = Box.this; MARK_REFLOW_b;
-            dirty();
-            return null;
-        } });
+        dirty();
     }
-        
-    private void mouseEvent(String name, Object value) {
-        Surface surface = getSurface();
-        if (surface == null) return;
-        int mousex = globalToLocalX(surface.mousex);
-        int mousey = globalToLocalY(surface.mousey);
-        for(Box c = prevSibling(); c != null; c = c.prevSibling())
-            if (c.inside(mousex - c.x, mousey - c.y)) { c.putAndTriggerJSTraps(name, value); return; }
-        if (parent != null) parent.putAndTriggerJSTraps(name, value);
+
+    // FIXME: mouse move/release still needs to propagate to boxen in which the mouse was pressed and is still held down
+    /**
+     *  Handles events which propagate down the box tree.  If obscured
+     *  is set, then we merely check for Enter/Leave.
+     */
+    private void propagateDownward(Object name_, Object value, boolean obscured) {
+
+        String name = (String)name_;
+        if (getSurface() == null) return;
+        int x = globalToLocalX(getSurface()._mousex);
+        int y = globalToLocalY(getSurface()._mousey);
+        boolean wasinside = test(MOUSEINSIDE);
+        boolean isinside = test(VISIBLE) && inside(x, y) && !obscured;
+        if (!wasinside && isinside) { set(MOUSEINSIDE);   putAndTriggerTrapsAndCatchExceptions("Enter", T); }
+        if (wasinside && !isinside) { clear(MOUSEINSIDE); putAndTriggerTrapsAndCatchExceptions("Leave", T); }
+
+        boolean found = false;
+        if (wasinside || isinside)
+            for(Box child = getChild(treeSize() - 1); child != null; child = child.prevSibling()) {
+                boolean save_stop = child.test(STOP_UPWARD_PROPAGATION);
+                if (obscured || !child.inside(x - child.x, y - child.y)) {
+                    child.propagateDownward(name, value, true);
+                } else try {
+                    found = true;
+                    child.clear(STOP_UPWARD_PROPAGATION);
+                    child.putAndTriggerTrapsAndCatchExceptions(name, value);
+                } finally {
+                    if (save_stop) child.set(STOP_UPWARD_PROPAGATION); else child.clear(STOP_UPWARD_PROPAGATION);
+                }
+                if (child.inside(x - child.x, y - child.y))
+                    if (name.equals("_Move")) obscured = true;
+                    else break;
+            }
+
+        if (!obscured && !found)
+            if (!name.equals("_Move") || wasinside) putAndTriggerTrapsAndCatchExceptions(name.substring(1), value);
     }
 
     private static int stringToColor(String s) {
+        // FIXME support three-char strings by doubling digits
         if (s == null) return 0x00000000;
         else if (SVG.colors.get(s) != null) return 0xFF000000 | toInt(SVG.colors.get(s));
-        else if (s.length() > 0 && s.charAt(0) == '#') try {
+        else if (s.length() == 7 && s.charAt(0) == '#') try {
             // FEATURE  alpha
             return 0xFF000000 |
                 (Integer.parseInt(s.substring(1, 3), 16) << 16) |
                 (Integer.parseInt(s.substring(3, 5), 16) << 8) |
                 Integer.parseInt(s.substring(5, 7), 16);
         } catch (NumberFormatException e) {
-            Log.log(Box.class, "invalid color " + s);
+            Log.info(Box.class, "invalid color " + s);
             return 0;
         }
         else return 0; // FEATURE: error?
@@ -599,7 +729,7 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
         if (!cur.test(VISIBLE)) return null;
         if (!cur.inside(x - globalx, y - globaly)) return cur.parent == null ? cur : null;
         OUTER: while(true) {
-            for(int i=cur.numchildren - 1; i>=0; i--) {
+            for(int i=cur.treeSize() - 1; i>=0; i--) {
                 Box child = cur.getChild(i);
                 if (child == null) continue;        // since this method is unsynchronized, we have to double-check
                 globalx += child.x;
@@ -616,37 +746,125 @@ public abstract class Box extends JSScope implements JSTrap.JSTrappable {
 
     // Trivial Helper Methods (should be inlined) /////////////////////////////////////////
 
-    static final short min(short a, short b) { if (a<b) return a; else return b; }
-    static final int min(int a, int b) { if (a<b) return a; else return b; }
-    static final float min(float a, float b) { if (a<b) return a; else return b; }
+    static short min(short a, short b) { if (a<b) return a; else return b; }
+    static int min(int a, int b) { if (a<b) return a; else return b; }
+    static float min(float a, float b) { if (a<b) return a; else return b; }
 
-    static final short max(short a, short b) { if (a>b) return a; else return b; }
-    static final int max(int a, int b) { if (a>b) return a; else return b; }
-    static final float max(float a, float b) { if (a>b) return a; else return b; }
+    static short max(short a, short b) { if (a>b) return a; else return b; }
+    static int max(int a, int b) { if (a>b) return a; else return b; }
+    static float max(float a, float b) { if (a>b) return a; else return b; }
 
-    static final int min(int a, int b, int c) { if (a<=b && a<=c) return a; else if (b<=c && b<=a) return b; else return c; }
-    static final int max(int a, int b, int c) { if (a>=b && a>=c) return a; else if (b>=c && b>=a) return b; else return c; }
-    static final int bound(int a, int b, int c) { if (c < b) return c; if (a > b) return a; return b; }
+    static int min(int a, int b, int c) { if (a<=b && a<=c) return a; else if (b<=c && b<=a) return b; else return c; }
+    static int max(int a, int b, int c) { if (a>=b && a>=c) return a; else if (b>=c && b>=a) return b; else return c; }
+    static int bound(int a, int b, int c) { if (c < b) return c; if (a > b) return a; return b; }
     final boolean inside(int x, int y) { return test(VISIBLE) && x >= 0 && y >= 0 && x < width && y < height; }
 
-    protected final void set(int mask) { flags |= mask; }
-    protected final void set(int mask, boolean setclear) { if (setclear) set(mask); else clear(mask); }
-    protected final void clear(int mask) { flags &= ~mask; }
-    protected final boolean test(int mask) { return ((flags & mask) == mask); }
+    void set(int mask) { flags |= mask; }
+    void set(int mask, boolean setclear) { if (setclear) set(mask); else clear(mask); }
+    void clear(int mask) { flags &= ~mask; }
+    boolean test(int mask) { return ((flags & mask) == mask); }
     
-    protected Box left = null;
-    protected Box right = null;
-    protected Box rootChild = null;
-    protected Box peerTree_parent = null;
-    public abstract Box peerTree_leftmost();
-    public abstract Box peerTree_rightmost();
-    public abstract Box insertBeforeMe(Box cell);
-    public abstract Box insertAfterMe(Box cell);
-    protected abstract Box fixAfterInsertion();
-    protected abstract Box fixAfterDeletion();
-    protected abstract Box rotateLeft();
-    protected abstract Box rotateRight();
-    protected abstract int numPeerChildren();
+
+    // Tree Handling //////////////////////////////////////////////////////////////////////
+
+    public final int getIndexInParent() { return parent == null ? 0 : parent.indexNode(this); }
+    public final Box nextSibling() { return parent == null ? null : parent.getChild(parent.indexNode(this) + 1); }
+    public final Box prevSibling() { return parent == null ? null : parent.getChild(parent.indexNode(this) - 1); }
+    public final Box getChild(int i) {
+        if (i < 0) return null;
+        if (i >= treeSize()) return null;
+        return (Box)getNode(i);
+    }
+
+    // Tree Manipulation /////////////////////////////////////////////////////////////////////
+
+    void removeSelf() {
+        if (parent != null) { parent.removeChild(parent.indexNode(this)); return; }
+        Surface surface = Surface.fromBox(this); 
+        if (surface != null) surface.dispose(true);
+    }
+
+    /** remove the i^th child */
+    public void removeChild(int i) {
+        Box b = getChild(i);
+        MARK_REFLOW_b;
+        b.dirty();
+        b.clear(MOUSEINSIDE);
+        deleteNode(i);
+        b.parent = null;
+        MARK_REFLOW;
+        putAndTriggerTrapsAndCatchExceptions("childremoved", b);
+    }
+    
+    public void put(int i, Object value) throws JSExn {
+        if (i < 0) return;
+            
+        if (value != null && !(value instanceof Box)) {
+            if (Log.on) JS.log(this, "attempt to set a numerical property on a box to a non-box");
+            return;
+        }
+
+        if (redirect == null) {
+            if (value == null) putAndTriggerTrapsAndCatchExceptions("childremoved", getChild(i));
+            else JS.log(this, "attempt to add/remove children to/from a node with a null redirect");
+
+        } else if (redirect != this) {
+            if (value != null) putAndTriggerTrapsAndCatchExceptions("childadded", value);
+            redirect.put(i, value);
+            if (value == null) {
+                Box b = (Box)redirect.get(new Integer(i));
+                if (b != null) putAndTriggerTrapsAndCatchExceptions("childremoved", b);
+            }
+
+        } else if (value == null) {
+            if (i < 0 || i > treeSize()) return;
+            Box b = getChild(i);
+            removeChild(i);
+            putAndTriggerTrapsAndCatchExceptions("childremoved", b);
+
+        } else {
+            Box b = (Box)value;
+
+            // check if box being moved is currently target of a redirect
+            for(Box cur = b.parent; cur != null; cur = cur.parent)
+                if (cur.redirect == b) {
+                    if (Log.on) JS.log(this, "attempt to move a box that is the target of a redirect");
+                    return;
+                }
+
+            // check for recursive ancestor violation
+            for(Box cur = this; cur != null; cur = cur.parent)
+                if (cur == b) {
+                    if (Log.on) JS.log(this, "attempt to make a node a parent of its own ancestor");
+                    if (Log.on) Log.info(this, "box == " + this + "  ancestor == " + b);
+                    return;
+                }
+
+            if (b.parent != null) b.parent.removeChild(b.parent.indexNode(b));
+            insertNode(i, b);
+            b.parent = this;
+            
+            // need both of these in case child was already uncalc'ed
+            MARK_REFLOW_b;
+            MARK_REFLOW;
+            
+            b.dirty(); 
+            putAndTriggerTrapsAndCatchExceptions("childadded", b);
+        }
+    }
+
+    void putAndTriggerTrapsAndCatchExceptions(Object name, Object val) {
+        try {
+            putAndTriggerTraps(name, val);
+        } catch (JSExn e) {
+            JS.log("caught js exception while putting to trap \""+name+"\"");
+            JS.log(e);
+        } catch (Exception e) {
+            JS.log("caught exception while putting to trap \""+name+"\"");
+            JS.log(e);
+        }
+    }
+
 }