I don't see very good
and it do not help that graphviz default dpi is 96
when having many nodes and you have to zoom in , its very blurred.
maybe add a higher dpi so you have to zoom out a little instead of zooming in
graphviz.py
adding this to the command scale the png(fill) and set resolution much higher(dpi), so when zooming in the png its more readable
maybe have resolution's as a extra command option ?
I don't see very good and it do not help that graphviz default dpi is 96 when having many nodes and you have to zoom in , its very blurred. maybe add a higher dpi so you have to zoom out a little instead of zooming in
graphviz.py adding this to the command scale the png(fill) and set resolution much higher(dpi), so when zooming in the png its more readable
maybe have resolution's as a extra command option ?