10

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


© Paul Boersma 2023