-
GGU-UNDERPIN: "Info" menu item -
GGU-UNDERPIN: "Special preferences" menu item -
GGU-UNDERPIN: "Depth subdivisions" menu item -
GGU-UNDERPIN: "Graph positioning preferences" menu item -
GGU-UNDERPIN: "Graphics output preferences" menu item -
GGU-UNDERPIN: "Labelling preferences" menu item -
GGU-UNDERPIN: "Body pens + colours" menu item -
GGU-UNDERPIN: "Dimension lines" menu item -
GGU-UNDERPIN: "Display system" menu item -
GGU-UNDERPIN: "Display results" menu item