static {
String[] p = new String[] {
"sizetoimage", "shrink", "hshrink", "vshrink", "x", "y", "width", "height",
- "flex", "align", "invisible", "absolute", "globalx", "globaly",
+ "flex", "hflex", "vflex", "cols", "rows", "align", "invisible", "absolute", "globalx", "globaly",
"minwidth", "minheight", "height", "width", "maxwidth", "maxheight",
"numchildren", "hpad", "vpad", "doublebuffered", "cursor",
"mousex", "mousey", "xwt", "static", "mouseinside", "root", "thisbox", "indexof", "svg"
private Trap() { allTraps.put(myWeak, dummy); }
+ /** the empty object, used for get-traps */
+ public static JS.Array emptyargs = new JS.Array();
+
/** perform this trap -- arg.length == 0 if this is a get; otherwise it contains a single element to be put */
public Object perform(JS.Array jsArrayArgs) throws JS.Exn {
// TrapContext tc = TrapContext.get();
+ if (jsArrayArgs == null) jsArrayArgs = emptyargs;
TrapArgs args = new TrapArgs(this,jsArrayArgs);
// invoke the trap function
else if (cur.next == null) trapee.traps.remove(name);
else trapee.traps.put(name, cur.next);
}
+ /* FIXME
if (trapee.surface != null && !trapee.is_trapped("KeyPressed") && !trapee.is_trapped("KeyReleased"))
trapee.surface.keywatchers.removeElement(trapee);
+ */
allTraps.remove(myWeak);
}