When exporting to SVG from Navigator, the font size is consistent ever since @lilyjw's pull request in #394. This is better than the dynamic font size approach from before, but it can be pretty small to read.
Request
It would be nice to be able to set a font size when exporting, so not only would the font be consistent, but configurable to the end user.
Related to #221 and #394.
Problem
When exporting to SVG from Navigator, the font size is consistent ever since @lilyjw's pull request in #394. This is better than the dynamic font size approach from before, but it can be pretty small to read.
Request
It would be nice to be able to set a font size when exporting, so not only would the font be consistent, but configurable to the end user.