GGU-OEDOM: "Texts" menu item
The default labelling of some output sheet elements can be edited in this menu item's dialog box. Among other things, the name of the output sheet can be specified here. An option box opens in which the various fields can be selected for editing using the correspondingly labelled buttons.
