GGU-TRENCH: File menu

• GGU-TRENCH: "New" menu item
• GGU-TRENCH: "Load" menu item
• GGU-TRENCH: "Save" menu item
• GGU-TRENCH: "Save as" menu item
• 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"
• GGU-TRENCH "Output preferences" menu item
• GGU-TRENCH "Print and export" menu item
• GGU-TRENCH "Batch print" menu item
• GGU-TRENCH "Exit" menu item
• GGU-TRENCH "1, 2, 3, 4" menu items