- Reduced default # of decimal digits from 14 to 6 (for new installations
without saved settings). This seems to be a slightly saner default for most applications, given that high accuracies are seldom reached in practice.
Authored by: knut_f 2009-08-16
Parent: [r1204]
Child: [r1206]
