-
GGU-PUMPTEST: "Preferences" menu item -
GGU-PUMPTEST: "Refresh and zoom" menu item -
GGU-PUMPTEST: "Zoom info" menu item -
GGU-PUMPTEST: "Pen colour and width" menu item -
GGU-PUMPTEST: "Legend font selection" menu item -
GGU-PUMPTEST: "Font size selection" menu item -
GGU-PUMPTEST: "Mini-CAD toolbar" menu item -
GGU-PUMPTEST: "Toolbar preferences" menu item -
GGU-PUMPTEST: "Save graphics preferences" menu item -
GGU-PUMPTEST: "Loadgraphics preferences" menu item