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