if (properties == null) {
properties = new WindowPropertiesAttribute(getModel(),
"_windowProperties");
}
properties.recordProperties((Frame) parent);
}
// Have to also record the size of the JGraph because
// setting the size of the frame is ignored if we don't
// also set the size of the JGraph. Why? Who knows. Swing.