GGU-TRENCH: "Print output table" menu item GGU-TRENCH: Selecting the output format GGU-TRENCH: Button "Output as graphics" GGU-TRENCH: Button "Output as ASCII"
