currently clicking the petri net thumbnail brings up the 150dpi PNG. Now that hello.py also generates SVG from DOT, let's wire things up a little differently so clicking on the thumbnail brings up the SVG.
currently clicking the petri net thumbnail brings up the 150dpi PNG.
Now that hello.py also generates SVG from DOT, let's wire things up a little differently so clicking on the thumbnail brings up the SVG.