GGU-GEO-GRAPH: Page size + margins menu GGU-GEO-GRAPH: "Page size and margins" menu item GGU-GEO-GRAPH: "Labelling x and y axes" menu item GGU-GEO-GRAPH: "Auto-resize" menu item GGU-GEO-GRAPH: "Manual resize (editor)" menu item GGU-GEO-GRAPH: "Manual resize (mouse)" menu item
