GGU-TRENCH: Page menu GGU-TRENCH: "Auto-resize" menu item GGU-TRENCH: "Manual resize (mouse)" menu item GGU-TRENCH: "Manual resize (editor)" menu item GGU-TRENCH: "Font size selection" menu item GGU-TRENCH: "Page size and margins" menu item
