public void write(StorableOutput dw) {
super.write(dw);
dw.writeInt(fDisplayBox.x);
dw.writeInt(fDisplayBox.y);
dw.writeInt(fDisplayBox.width);
dw.writeInt(fDisplayBox.height);
dw.writeInt(fArcWidth);
dw.writeInt(fArcHeight);
}
/** Writes the contained figures to the StorableOutput. */
public void write(StorableOutput dw) {
super.write(dw);
dw.writeInt(fFigures.size());
Enumeration k = fFigures.elements();
while (k.hasMoreElements()) dw.writeStorable((Storable) k.nextElement());
}
