static {
Font f = null;
try { f = Font.getFont((Res)Main.builtin.get("fonts/vera/Vera.ttf"), 10); }
- catch(JSExn e) { Log.log(Box.class, "should never happen: "+e); }
+ catch(JSExn e) { Log.info(Box.class, "should never happen: "+e); }
DEFAULT_FONT = f;
}
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 "redirect": if (redirect == this) redirect = (Box)value; else Log.info(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 "fontsize": font = Font.getFont(font == null ? null : font.res, toInt(value)); MARK_RESIZE; dirty();
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(); }
(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?
for(Box cur = this; cur != null; cur = cur.parent)
if (cur == b) {
if (Log.on) Log.logJS(this, "attempt to make a node a parent of its own ancestor");
- if (Log.on) Log.log(this, "box == " + this + " ancestor == " + b);
+ if (Log.on) Log.info(this, "box == " + this + " ancestor == " + b);
return;
}