// computed during reflow
LENGTH x = 0;
LENGTH y = 0;
- LENGTH width = 0;
- LENGTH height = 0;
+ public LENGTH width = 0;
+ public LENGTH height = 0;
private int row = 0; // FIXME short
private int col = 0; // FIXME short
private LENGTH contentwidth = 0; // == max(minwidth, textwidth, sum(child.contentwidth) + pad)
public void put(Box b, Object value) {
b.width = stoi(value);
if (b.parent == null && b.surface != null) {
- // FIXME this gets hosed...
- //b.surface.setSize(max(Surface.scarPicture.getWidth(), b.width),
- //max(Surface.scarPicture.getHeight(), b.height));
+ b.surface.setSize();
MARK_FOR_REFLOW_b;
} else {
b.minwidth = b.maxwidth = b.width;
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.surface.width, b.surface.height);
+ b.surface.dirty(0, 0, b.width, b.height);
b.surface.Refresh();
}
}