drx
drx copied to clipboard
"Save..." should let you pick the file type
Currently, it saves as GIF automatically.
Also: Investigate the usability of GraphViz's SVG output.