12

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


© Paul Boersma 2023