GGU-TIME-GRAPH: Page size + margins menu GGU-TIME-GRAPH: "Page size and margins" menu item GGU-TIME-GRAPH: "Auto-resize" menu item GGU-TIME-GRAPH: "Auto-resize measured data axis" menu item GGU-TIME-GRAPH: "Manual resize (editor)" menu item GGU-TIME-GRAPH: "Manual resize (mouse)" menu item
