GGU-PUMPTEST: "Font size selection" menu item

You can edit font sizes for various text elements of your graphic.