- //#repeat hpad/vpad
- specialBoxProperties.put("hpad", new SpecialBoxProperty() {
- public Object get(Box b) {
- if (b.redirect == null) return new Integer(0);
- if (b.redirect != b) return get(b.redirect);
- return new Integer(b.hpad);
- }
- public void put(Box b, Object value) {
- if (b.redirect == null) return;
- if (b.redirect != b) { put(b.redirect, value); return; }
- int newval = stoi(value);
- if (newval == b.hpad) return;
- b.hpad = newval;
- MARK_FOR_REFLOW_b;
- }
- });
- //#end
-