zooming in/out on the graph

[ArthurG0]

Wow, great tool!

It would be useful to add zooming in and out on the graph part (support mousewheel gestures) to change size of the automata graph. (sometimes it's important to look at the bigger picture of states or zoom in on a part on the graph)

[btk5h]

This feature is already supported! You can drag and scroll on the preview to pan and zoom the visualization.

It's certainly not a very discoverable feature as it is currently, it's definitely worth adding some instructions somewhere on the page that point to that.