import java.io.InputStream;
import java.io.PrintStream;
import java.util.Arrays;
+import java.util.HashMap;
import javax.swing.SwingUtilities;
show(graph, "dot");
}
+ public static void showWithNamedWindow(final String windowName, final Graph graph, final String algorithm) {
+ SwingUtilities.invokeLater(new Runnable() {
+ public void run() {
+ JViewer.getOrCreateViewer(windowName, new GraphDrawable(graph, algorithm));
+ }
+ });
+ }
+
}