GGU-DOLPHIN: "Labelling preferences" menu item

This menu item allows you to specify labelling preferences for the result graphics.

You can position the section labelling at the desired position. You can also specify the number of decimal places for the displacement shown in the graphics.