GGU-COMPACT: "Proctor curve" menu item

Because the grading curve is the central graphical element, it cannot be switched off. Almost exactly the same dialog box opens with the same preference options as that described in the "Output preferences/Title (change position)" menu item (see Section 5.4.6). To edit the "Proctor curve" element, simply proceed as described there.