PNG export resolution is low

[jordancluts]

It would be great to have a setting or configuration for the resolution of PNGs generated via export. As is the resolution is fairly low leading to fuzzy images. A quality slider, DPI setting or some other means of asking for a higher resolution could allow the user to tune the export to their needs.

[skanaar]

Hmm, nomnoml is generating PNG at 2x resolution to cater to high resolution displays.
If you need even higher res you can always add a #zoom: 2 directive to you source before export.

Try it out and tell me if it works for you.