/** Make sure the atrributes are uptodate. */
public void updateAtts() {
Dimension d = panel.size();
Insets in = panel.insets();
panel.atts.put("width", Integer.toString(d.width - (in.left + in.right)));
panel.atts.put("height", Integer.toString(d.height - (in.top + in.bottom)));
}
