// RULE: coordinates on non-static methods are ALWAYS relative to the
// upper-left hand corner of <tt>this</tt>
-// FIXME: font color, italicization, bolding, and underlining
-// FIXME: align
-// FIXME: fixed aspect
// FEATURE: reflow before allowing js to read from width/height
// FEATURE: fastpath for rows=1/cols=1
// FEATURE: reflow starting with a certain child
* position.
*
* A note on coordinates: the Box class represents regions
- * internally as x,y,w,h tuples, even though the DoubleBuffer class
+ * internally as x,y,w,h tuples, even though the PixelBuffer class
* uses x1,y1,x2,y2 tuples.
*/
public final class Box extends JS.Scope {
// Misc instance data ////////////////////////////////////////////////////////////////
- private static int sizePosChangesSinceLastRender = 0;
+ static int sizePosChangesSinceLastRender = 0;
// Misc instance data ////////////////////////////////////////////////////////////////
Box redirect = this;
Surface surface = null; // null on all non-root boxen
- // FEATURE: combine this with the JSObject Hash
- Hash traps = null;
-
-
// Flags ///////////////////////////////////////////////////////////////////////////////
+ short flags = 0;
static int MOUSEINSIDE_FLAG = 0x00000001;
static int INVISIBLE_FLAG = 0x00000002;
static int ABSOLUTE_FLAG = 0x00000004;
- static int HSHRINK_FLAG = 0x00000010;
- static int VSHRINK_FLAG = 0x00000020;
- static int TILE_FLAG = 0x00000040;
-
- /**
- * Set when the font changes, cleared during repack. If set
- * during repack, all font==null children are marked for reflow
- * and given the font_changed_flag. We use this flag to avoid
- * having to iterate over all descendents of a box when its font
- * changes.
- */
- static int FONT_CHANGED_FLAG = 0x00000100;
-
- static int ALIGN_FLAG = 0x00000000;
- static int FIXEDASPECT_FLAG = 0x00000000;
- int flags = 0;
+ static int HSHRINK_FLAG = 0x00000008;
+ static int VSHRINK_FLAG = 0x00000010;
+ static int TILE_FLAG = 0x00000020;
+ static int FONT_CHANGED_FLAG = 0x00000040; // set when font changes, cleared during repack
+ static int ISROOT_FLAG = 0x00000080;
// Geometry ////////////////////////////////////////////////////////////////////////////
//#define MIN_LENGTH Integer.MIN_VALUE
// always correct (set directly by user)
- LENGTH minwidth = 0;
- LENGTH minheight = 0;
- LENGTH maxwidth = MAX_LENGTH;
- LENGTH maxheight = MAX_LENGTH;
+ public LENGTH minwidth = 0;
+ public LENGTH minheight = 0;
+ public LENGTH maxwidth = MAX_LENGTH;
+ public LENGTH maxheight = MAX_LENGTH;
private LENGTH hpad = 0;
private LENGTH vpad = 0;
private String text = null;
- private String font = null;
+ private Res font = null;
+ private int fontsize = 10;
private LENGTH textwidth = 0;
private LENGTH textheight = 0;
private int colspan = 1;
// computed during reflow
- LENGTH x = 0;
- LENGTH y = 0;
+ public LENGTH x = 0;
+ public LENGTH y = 0;
public LENGTH width = 0;
public LENGTH height = 0;
private int row = 0; // FEATURE use a short
//private SVG.Paint fill = null;
//private SVG.Paint stroke = null;
- private Picture image; // will disappear
+ public Picture image; // will disappear
private int fillcolor = 0x00000000; // will become SVG.Paint
private int strokecolor = 0xFF000000; // will become SVG.Paint
/** 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) {
- /*
for(Box cur = this; cur != null; cur = cur.parent) {
w = min(x + w, cur.width) - max(x, 0);
h = min(y + h, cur.height) - max(y, 0);
x += cur.x;
y += cur.y;
}
- */
- Box cur;
- for(cur = this; cur.parent != null; cur = cur.parent);
- if (cur.surface != null) cur.surface.dirty(0, 0, cur.width, cur.height);
}
/**
if (!wasinside && !isinside) return;
- if (traps == null) { }
- else if (!wasinside && isinside && traps.get("Enter") != null) put("Enter", Boolean.TRUE);
- else if (wasinside && !isinside && traps.get("Leave") != null) put("Leave", Boolean.TRUE);
- else if (wasinside && isinside && (mousex != oldmousex || mousey != oldmousey) && traps.get("Move") != null) put("Move", Boolean.TRUE);
+ if (!wasinside && isinside && get("Enter", Trap.class) != null) put("Enter", Boolean.TRUE);
+ else if (wasinside && !isinside && get("Leave", Trap.class) != null) put("Leave", Boolean.TRUE);
+ else if (wasinside && isinside && (mousex != oldmousex || mousey != oldmousey) && get("Move", Trap.class) != null)
+ put("Move", Boolean.TRUE);
if (isinside && cursor != null) getRoot().cursor = cursor;
// Reflow ////////////////////////////////////////////////////////////////////////////////////////
- void reflow() {
+ void reflow() { reflow(width, height); }
+ void reflow(int new_width, int new_height) {
repack();
if (Surface.abort) return;
- resize(x, y, width, height);
+ resize(x, y, new_width, new_height);
}
/** Checks if the Box's size has changed, dirties it if necessary, and makes sure childrens' sizes are up to date */
}
- void resize(LENGTH x, LENGTH y, LENGTH width, LENGTH height) {
-
+ private void resize(LENGTH x, LENGTH y, LENGTH width, LENGTH height) {
+
// --- Phase 1 ----------------------------------------------------------------------
// run PosChange/SizeChange, dirty as needed
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 = false, poschange = false;
- if (traps != null && (this.width != width || this.height != height) && traps.get("SizeChange") != null) sizechange = true;
- if (traps != null && (this.x != x || this.y != y) && traps.get("PosChange") != null) poschange = true;
+ if ((this.width != width || this.height != height) && get("SizeChange", Trap.class) != null) sizechange = true;
+ if ((this.x != x || this.y != y) && get("PosChange", Trap.class) != null) poschange = true;
this.width = width; this.height = height; this.x = x; this.y = y;
dirty();
if (sizechange || poschange)
if (Log.on) Log.logJS(this, "Warning, more than 500 SizeChange/PosChange traps triggered since last complete render");
} else {
sizePosChangesSinceLastRender++;
- if (sizechange) put("SizeChange", Boolean.TRUE);
- if (poschange) put("PosChange", Boolean.TRUE);
+ try { if (sizechange) put("SizeChange", Boolean.TRUE); } catch (Exception e) { Log.log(this, e); }
+ try { if (poschange) put("PosChange", Boolean.TRUE); } catch (Exception e) { Log.log(this, e); }
Surface.abort = true;
return;
}
// Rendering Pipeline /////////////////////////////////////////////////////////////////////
/** Renders self and children within the specified region. All rendering operations are clipped to xIn,yIn,wIn,hIn */
- void render(int parentx, int parenty, int clipx, int clipy, int clipw, int cliph, DoubleBuffer buf) {
+ void render(int parentx, int parenty, int clipx, int clipy, int clipw, int cliph, PixelBuffer buf) {
if (Surface.abort || (flags & INVISIBLE_FLAG) != 0) return;
int globalx = parentx + (parent == null ? 0 : x);
int globaly = parenty + (parent == null ? 0 : y);
// intersect the x,y,w,h rendering window with ourselves; quit if it's empty
- clipw = min(max(clipx, parent == null ? 0 : globalx) + clipw,
- (parent == null ? 0 : globalx) + width) - globalx;
- cliph = min(max(clipy, parent == null ? 0 : globaly) + cliph,
- (parent == null ? 0 : globaly) + height) - globaly;
+ clipw = min(max(clipx, parent == null ? 0 : globalx) + clipw, (parent == null ? 0 : globalx) + width) - globalx;
+ cliph = min(max(clipy, parent == null ? 0 : globaly) + cliph, (parent == null ? 0 : globaly) + height) - globaly;
clipx = max(clipx, parent == null ? 0 : globalx);
clipy = max(clipy, parent == null ? 0 : globaly);
if (clipw <= 0 || cliph <= 0) return;
- if ((fillcolor & 0xFF000000) != 0x00000000 || parent == null)
- buf.fillRect(clipx, clipy, clipx + clipw, clipy + cliph,
- (fillcolor & 0xFF000000) != 0 ? fillcolor : 0xFF777777);
+ if ((fillcolor & 0xFF000000) != 0x00000000)
+ buf.fillRect(clipx, clipy, clipx + clipw, clipy + cliph, fillcolor);
if (image != null)
if ((flags & TILE_FLAG) != 0) renderTiledImage(globalx, globaly, clipx, clipy, clipw, cliph, buf);
else renderStretchedImage(globalx, globaly, clipx, clipy, clipw, cliph, buf);
if (text != null && !text.equals(""))
- renderText(x, y, clipx, clipy, clipw, cliph, buf);
+ renderText(globalx, globaly, clipx, clipy, clipw, cliph, buf);
// now subtract the pad region from the clip region before proceeding
clipw = min(max(clipx, globalx + hpad) + clipw, globalx + width - hpad) - clipx;
b.render(globalx, globaly, clipx, clipy, clipw, cliph, buf);
}
- void renderStretchedImage(int globalx, int globaly, int clipx, int clipy, int clipw, int cliph, DoubleBuffer buf) {
- //buf.setClip(x, y, w + x, h + y);
- System.out.println("draw " + clipx + " " + clipy + " " + (clipx + clipw) + " " + (clipy + cliph));
- buf.drawPicture(image,
- clipx, clipy, clipx + clipw, clipy + cliph,
- 0, 0, image.getWidth(), image.getHeight());
- //buf.setClip(0, 0, buf.getWidth(), buf.getHeight());
+ void renderStretchedImage(int globalx, int globaly, int clipx, int clipy, int clipw, int cliph, PixelBuffer buf) {
+ // FIXME: wrong
+ buf.drawPicture(image, clipx, clipy, clipx + clipw, clipy + cliph, 0, 0, image.getWidth(), image.getHeight());
}
- void renderTiledImage(int globalx, int globaly, int x, int y, int w, int h, DoubleBuffer buf) {
+ void renderTiledImage(int globalx, int globaly, int x, int y, int w, int h, PixelBuffer buf) {
int iw = image.getWidth();
int ih = image.getHeight();
for(int i=(x - x)/iw; i <= (x + w - x)/iw; i++) {
}
}
- void renderText(int x, int y, int clipx, int clipy, int clipw, int cliph, DoubleBuffer buf) {
- /*
- // hack because (believe it or not) libgcj doesn't support UTF16.
- byte[] b = new byte[text.length() * 2 + 2];
- for(int i=0; i<text.length(); i++) {
- b[i * 2] = (byte)((((short)text.charAt(i)) & 0xff00) >> 8);
- b[i * 2 + 1] = (byte)(((short)text.charAt(i)) & 0xff);
- }
- b[text.length()] = 0;
- b[text.length() + 1] = 0;
- */
- /*
- try {
- ImageDecoder id = org.xwt.translators.Font.render(new FileInputStream("COMIC.TTF"), 24, text, false);
- Picture p = Platform.createPicture(id);
- // FIXME: clipping (don't use setClip)
- buf.drawPicture(p,
- x + hpad, y + vpad,
- x + hpad + p.getWidth(), y + vpad + p.getHeight(),
+ void renderText(int x, int y, int clipx, int clipy, int clipw, int cliph, PixelBuffer buf) {
+ for(int i=0; i<text.length(); i++) {
+ // FIXME: clipping
+ char c = text.charAt(i);
+ Glyph g = Glyph.getGlyph(font, fontsize, c);
+ buf.drawPicture(g.p,
+ x + hpad,
+ y + vpad + g.max_ascent - g.baseline,
+ x + hpad + g.p.getWidth(),
+ y + vpad + g.max_ascent - g.baseline + g.p.getHeight(),
0, 0,
- p.getWidth(), p.getHeight());
- } catch (Exception e) {
- Log.log(this, e);
- }
- */
+ g.p.getWidth(), g.p.getHeight());
+ x += g.advance;
+ }
}
return redirect.callMethod(method, args, checkOnly);
}
return new Integer(b.getIndexInParent());
-
- } else if ("apply".equals(method)) {
- if (checkOnly) return Boolean.TRUE;
- if (args.elementAt(0) instanceof Res) {
- Res res = (Res)args.elementAt(0);
- res = res.addExtension(".xwt");
- Template t = Template.buildTemplate(res, "fromResource");
- if (ThreadMessage.suspendThread()) try {
- JS.Callable callback = args.length() < 2 ? null : (Callable)args.elementAt(1);
- t.apply(this, null, null, callback, 0, t.numUnits());
- } finally {
- ThreadMessage.resumeThread();
- }
- } else if (args.elementAt(0) instanceof String) {
- String templatename = (String)args.elementAt(0);
- Template t = Template.getTemplate(templatename, null);
- if (t == null) {
- if (Log.on) Log.logJS(this, "template " + templatename + " not found");
- } else {
- if (ThreadMessage.suspendThread()) try {
- JS.Callable callback = args.length() < 2 ? null : (Callable)args.elementAt(1);
- t.apply(this, null, null, callback, 0, t.numUnits());
- } finally {
- ThreadMessage.resumeThread();
- }
- }
- } else if (args.elementAt(0) instanceof JS && !(args.elementAt(0) instanceof Box)) {
- JS s = (JS)args.elementAt(0);
- Object[] keys = s.keys();
- for(int j=0; j<keys.length; j++) put(keys[j].toString(), s.get(keys[j]));
- }
- return this;
}
return null;
}
b.remove();
put("0", b);
}
- } else if (value instanceof RootProxy) {
- if (Log.on) Log.logJS(this, "attempt to reparent a box via its proxy object");
} else {
Box newnode = (Box)value;
}
}
+ public Object get(Object key, Object key2) { return super.get(key, key2); }
+ public void put(Object key, Object key2, Object val) { super.put(key, key2, val); }
+
public Object get_(Object name) { return super.get(name); }
public Object get(Object name) { return get(name, false); }
public Object get(Object name_, boolean ignoretraps) {
String name = (String)name_;
if (name.equals("")) return null;
- // See if we're reading back the function value of a trap
- if (name.charAt(0) == '_') {
- if (name.charAt(1) == '_') name = name.substring(2);
- else name = name.substring(1);
- Trap t = Trap.getTrap(this, name);
- return t == null ? null : t.f;
- }
-
// See if we're triggering a trap
- Trap t = traps == null || ignoretraps ? null : (Trap)traps.get(name);
- if (t != null && t.isreadtrap) return t.perform(Trap.emptyargs);
+ Trap t = ignoretraps ? (Trap)null : (Trap)get(name, Trap.class);
+ if (t != null) return t.perform();
// Check for a special handler
SpecialBoxProperty gph = (SpecialBoxProperty)SpecialBoxProperty.specialBoxProperties.get(name);
Object ret = super.get(name);
if (name.startsWith("$") && ret == null)
- if (Log.on) Log.logJS(this, "WARNING: attempt to access " + name + ", but no child with id=\"" + name.substring(1) + "\" found");
+ if (Log.on) Log.logJS(this, "WARNING: attempt to access " + name + ", but no child with id=\"" +
+ name.substring(1) + "\" found");
return ret;
}
return ret;
}
+ public void addTrap(Object name, Object value) { Trap.addTrap(this, name, ((JS.CompiledFunction)value)); }
+ public void delTrap(Object name, Object value) { Trap.delTrap(this, name, ((JS.CompiledFunction)value)); }
+
+
/**
* Scriptable.put()
* @param ignoretraps if set, no traps will be triggered (set when 'cascade' reaches the bottom of the trap stack)
* @param rp if this put is being performed via a root proxy, rp is the root proxy.
*/
public void put_(Object name, Object value) { super.put(name, value); }
- public void put(Object name, Object value) { put(name, value, false, null); }
- public void put(Object name, Object value, boolean ignoretraps) { put(name, value, ignoretraps, null); }
- public void put(Object name_, Object value, boolean ignoretraps, RootProxy rp) {
+ 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(((Number)name_).intValue(), value); return; }
if (!(name_ instanceof String)) { super.put(name_,value); return; }
String name = name_.toString();
- if (!ignoretraps && traps != null) {
- Trap t = (Trap)traps.get(name);
+ if (!ignoretraps) {
+ Trap t = (Trap)get(name, Trap.class);
if (t != null) {
- JS.Array arg = new JS.Array();
- arg.addElement(value);
- t.perform(arg);
- arg.setElementAt(null, 0);
+ t.perform(value);
return;
}
}
SpecialBoxProperty gph = (SpecialBoxProperty)SpecialBoxProperty.specialBoxProperties.get(name);
if (gph != null) { gph.put(name, this, value); return; }
- if (name.charAt(0) == '_') {
- if (value != null && !(value instanceof JS.Callable)) {
- if (Log.on) Log.logJS(this, "attempt to put a non function value (" + value + ") to " + name);
- } else if (value != null && !(value instanceof JS.CompiledFunction)) {
- if (Log.on) Log.logJS(this, "attempt to put a non-compiled function value (" + value + ") to " + name);
- } else if (name.charAt(1) == '_') {
- name = name.substring(2).intern();
- Trap t = Trap.getTrap(this, name);
- if (t != null) t.delete();
- if (value != null) Trap.addTrap(this, name, ((JS.CompiledFunction)value), true, rp);
- } else {
- name = name.substring(1).intern();
- Trap t = Trap.getTrap(this, name);
- if (t != null) t.delete();
- if (value != null) Trap.addTrap(this, name, ((JS.CompiledFunction)value), false, rp);
- }
- return;
- }
-
super.put(name, value);
}
}
- // Root Proxy ///////////////////////////////////////////////////////////////////////////////
-
- // FEATURE: use xwt.graft() here
- RootProxy myproxy = null;
- public JS getRootProxy() {
- if (myproxy == null) myproxy = new RootProxy(this);
- return myproxy;
- }
-
- private static class RootProxy extends JS {
- Box box;
- RootProxy(Box b) { this.box = b; }
- public Object get(Object name) { return box.get(name); }
- public void put(Object name, Object value) { box.put(name, value, false, this); }
- public Object[] keys() { return box.keys(); }
- public Object callMethod(Object method, JS.Array args, boolean justChecking) {
- return ((Box)box).callMethod(method,args,justChecking);
- }
- }
-
-
// Trivial Helper Methods (should be inlined) /////////////////////////////////////////
static final int min(int a, int b) { if (a<b) return a; else return b; }
Log.log(this, "invalid color " + s);
return;
}
- else if (SVG.colors.get(s) != null)
- newcolor = 0xFF000000 | ((Integer)SVG.colors.get(s)).intValue();
+ else if (org.xwt.translators.SVG.colors.get(s) != null)
+ newcolor = 0xFF000000 | ((Integer)org.xwt.translators.SVG.colors.get(s)).intValue();
if (newcolor == b.fillcolor) return;
b.fillcolor = newcolor;
b.dirty();
b.textwidth = b.textheight = 0;
} else {
try {
- ImageDecoder id = org.xwt.translators.Font.render(new FileInputStream("COMIC.TTF"), 24, b.text, true);
- if (id.getWidth() != b.textwidth || id.getHeight() != b.textheight) MARK_FOR_REFLOW_b;
- b.textwidth = id.getWidth();
- b.textheight = id.getHeight();
+ MARK_FOR_REFLOW_b;
+ b.textwidth = 0;
+ for(int i=0; i<b.text.length(); i++) {
+ Glyph g = Glyph.getGlyph(b.font, b.fontsize, b.text.charAt(i));
+ b.textwidth += g.advance;
+ b.textheight = g.max_ascent + g.max_descent;
+ }
} catch (Exception e) {
Log.log(this, e);
}
specialBoxProperties.put("font", new SpecialBoxProperty() {
public Object get(Box b) { return b.font; }
public void put(Box b, Object value) {
- b.font = value == null ? null : value.toString();
- // FIXME: translate value into a resource
+ // FIXME: translate value into a resource if it is a string
+ b.font = value == null ? null : (Res)value;
+ MARK_FOR_REFLOW_b;
+ b.flags |= FONT_CHANGED_FLAG;
+ b.dirty();
+ } });
+
+ specialBoxProperties.put("fontsize", new SpecialBoxProperty() {
+ public Object get(Box b) { return b.font; }
+ public void put(Box b, Object value) {
+ if (b.fontsize == stoi(value)) return;
+ b.fontsize = stoi(value);
MARK_FOR_REFLOW_b;
b.flags |= FONT_CHANGED_FLAG;
b.dirty();
MARK_FOR_REFLOW_b;
} });
+ //FIXME
specialBoxProperties.put("static", new SpecialBoxProperty() {
- public Object get(Box b) {
- String cfsn =
- JS.Thread.fromJavaThread(java.lang.Thread.currentThread()).getCurrentCompiledFunction().getSourceName();
- for(int i=0; i<cfsn.length() - 1; i++)
- if (cfsn.charAt(i) == '.' && (cfsn.charAt(i+1) == '_' || Character.isDigit(cfsn.charAt(i+1)))) {
- cfsn = cfsn.substring(0, i);
- break;
- }
- return Static.getStatic(cfsn);
- }
});
specialBoxProperties.put("shrink", new SpecialBoxProperty() {
if (x == b.x) return;
b.dirty();
b.x = x;
- if (b.parent == null && b.surface != null) {
- b.surface.setLocation();
- b.surface.centerSurfaceOnRender = false;
- }
+ if (b.parent == null && b.surface != null) b.surface.setLocation();
MARK_FOR_REFLOW_b;
b.dirty();
}
} });
specialBoxProperties.put("image", new SpecialBoxProperty() {
+ /* FIXME
public Object get(Box b) { return b.image == null ? null : ImageDecoder.imageToNameMap.get(b.image); }
+ */
public void put(Box b, Object value) {
- if ((value == null && b.image == null) ||
- (value != null && b.image != null && value.equals(ImageDecoder.imageToNameMap.get(b.image)))) return;
- String s = value == null ? null : value.toString();
- if (s == null || s.equals("")) b.image = null;
- else {
- if ((b.image = ImageDecoder.getPicture(s)) == null) {
- if (Log.on) Log.logJS(Box.class, "unable to load image " + s);
- } else {
- b.minwidth = b.image.getWidth();
- b.minheight = b.image.getHeight();
- MARK_FOR_REFLOW_b;
- }
+ //if (image != null) System.out.println("hit");
+ if (value == null) {
+ b.image = null;
+ } else if (value instanceof Res) {
+ b.image = Picture.fromRes((Res)value);
+ } else {
+ // FIXME
}
+ b.minwidth = Math.min(b.maxwidth, Math.max(b.minwidth, b.image == null ? 0 : b.image.getWidth()));
+ b.minheight = Math.min(b.maxheight, Math.max(b.minheight, b.image == null ? 0 : b.image.getHeight()));
+ MARK_FOR_REFLOW_b;
b.dirty();
}
});
specialBoxProperties.put("DoubleClick3", mouseEventHandler);
specialBoxProperties.put("root", new SpecialBoxProperty() {
+ public void put(Box b, Object value) {
+ if (stob(value)) b.flags |= ISROOT_FLAG;
+ else b.flags &= ~ISROOT_FLAG;
+ }
public Object get(Box b) {
- if (b.getRoot() == null) return null;
- else if (b.parent == null) return b;
- else return b.getRoot().getRootProxy();
+ if (b.parent == null || ((b.flags & ISROOT_FLAG) != 0)) return b;
+ else return get(b.parent);
} });
specialBoxProperties.put("Minimized", new SpecialBoxProperty() {
}
});
- //#repeat hscar/vscar
- specialBoxProperties.put("hscar", new SpecialBoxProperty() {
- public void put(Box b, Object value) {
- if (b.parent == null && b.surface != null) {
- b.surface.hscar = stoi(value);
- b.surface.dirty(0, 0, b.width, b.height);
- b.surface.Refresh();
- }
- }
- });
- //#end
-
specialBoxProperties.put("Close", new SpecialBoxProperty() {
public void put(Box b, Object value) {
if (b.parent == null && b.surface != null) b.surface.dispose(true);
//#end
specialBoxProperties.put("redirect", new SpecialBoxProperty() {
- public void put(Box b, Object value) { }
+ public void put(Box b, Object value) {
+ if (b.redirect != b) Log.log(this, "cannot change the redirect of a box once it is set");
+ else if (value == null) b.redirect = null;
+ else {
+ Box b2 = (Box)value;
+ while(b2 != b && b2 != null) b2 = b2.parent;
+ if (b2 == null) Log.log(this, "a box's redirect must be one of its descendants");
+ b.redirect = (Box)value;
+ }
+ }
public Object get(Box b) {
if (b.redirect == null) return null;
if (b.redirect == b) return Boolean.TRUE;
});
specialBoxProperties.put("icon", new SpecialBoxProperty() {
+ // FIXME
+ /*
public void put(Box b, Object value) {
b.put_("icon", value);
if (b.surface == null) return;
else if (Log.on) Log.log(this, "unable to load icon " + value);
}
public Object get(Box b) { return b.get_("icon"); }
+ */
});
}
}