#125 zgrviewer crashes with zoomed out dashed lines

[Ben Martin]

Create a graphviz file that contains dotted or dashed lines like the following:

Digraph G {
edge [style = "dotted"];
"node1" -> "node2";
"node3" -> "node2";
"node3" -> "node0";
"node0" -> "node1";
}

Open in zgviewer and zoom out until zgrviewer crashes. The exact nature of the crash depends on the JVM in use.

This bug observed in the latest pull from

https://zvtm.svn.sourceforge.net/svnroot/zvtm@4828

A search online indicates that this is a bug in JAVA:

http://www.jpedal.org/PDFblog/2012/02/interesting-pdf-bugs-tiny-dash-values-and-the-java-jvm/

If this is not feasible to fix, you may want to put a warning about dashes lines on your website.

Thanks,
Ben Martin