We want to enable the downloading of graphs, this can be simply done by setting the output type of graphviz to SVG.
While you're at it, please also correct the graph size (500x250 iirc)
This may destroy some information (e.g. state names on hover), so add the state names to the graph nodes themselves, even when they have a label e.g.
name: label
We want to enable the downloading of graphs, this can be simply done by setting the output type of graphviz to SVG.
While you're at it, please also correct the graph size (500x250 iirc)
This may destroy some information (e.g. state names on hover), so add the state names to the graph nodes themselves, even when they have a label e.g.
name: label