parent = component.getParent();
}
// If there is no parent that is a Frame, do nothing.
if (parent instanceof Frame) {
WindowPropertiesAttribute properties = (WindowPropertiesAttribute) getModel()
.getAttribute("_windowProperties",
WindowPropertiesAttribute.class);
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.