public void update()
{
if ( isVisible() )
{
Graph g = editorWindow.getGraphEditor().getGraph();
totalNodesLabel.setText("Total Nodes: " + g.getNumNodes());
totalEdgesLabel.setText("Total Edges: " + g.getNumEdges());
generatedEdgesLabel.setText("Generated Edges: " + g.getNumGeneratedEdges());
curvedEdgesLabel.setText("Curved Edges: " + g.getNumCurvedEdges());
boolean planar = PlanarityOperation.isPlanar(g);
planarLabel.setText("Planar?: " + planar);
maximalPlanarLabel.setText("Maximal Planar?: " + (planar &&
g.getNumEdges() == g.getNumNodes() * 3 - 6));
connectedCountLabel.setText("Num Connected Components: " +
ConnectivityOperation.getConnectedComponents(g).size());
biconnectedCountLabel.setText("Num Biconnected Components: " +
BiconnectivityOperation.getBiconnectedComponents(g).size());
}