Font size...

A command in the Font menu of the Picture window, to set the font size of subsequent drawings to a specific number of points.


© Paul Boersma 2023