/** Repaint this component. */
public void alloyRepaint() {
Container c=getParent();
while(c!=null) { if (c instanceof JViewport) break; else c=c.getParent(); }
setSize((int)(graph.getTotalWidth()*scale), (int)(graph.getTotalHeight()*scale));
if (c!=null) { c.invalidate(); c.repaint(); c.validate(); } else { invalidate(); repaint(); validate(); }
}
/** Construct a GraphViewer that displays the given graph. */
public GraphViewer(final Graph graph) {
OurUtil.make(this, BLACK, WHITE, new EmptyBorder(0,0,0,0));