GGU-SHRINKAGE: "Font size selection" menu item

You can edit font sizes of texts [in mm] within the various input areas.