Diagram.py: allow changing the font size
[experiments/RadialSymmetry.git] / TODO
1 - Saving to SVG only saves a bitmap version of the diagram