// of the JGraph component. Unfortunately, with Swing's
// mysterious and undocumented handling of component sizes,
// there appears to be no way to control the size of the
// JGraph from the size of the Frame, which is specified
// by the WindowPropertiesAttribute.
SizeAttribute size = (SizeAttribute) getModel().getAttribute(
"_vergilSize", SizeAttribute.class);
if (size != null) {
size.setSize(_rightComponent);
} else {
// Set the default size.
// Note that the location is of the frame, while the size
// is of the scrollpane.
_rightComponent.setMinimumSize(new Dimension(200, 200));