PR# 12707 A dozen preferences have status "User Set" when estudio is first started

Problem Report Summary

Submitter: prestoat2000

Category: EiffelStudio

Priority: Medium

Date: 2007/05/13

Class: Bug

Severity: Non-critical

Number: 12707

Release: 6.0.68277

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3 Solaris 10 on x86

Synopsis: A dozen preferences have status "User Set" when estudio is first started

Description

Delete ~/.es directory.
Start estudio but don't load any project.
Select Tools/Preferences, then select Flat view.
Sort on Status column.
There are 12 preferences whose status is "User Set", but I haven't changed
anything yet.  In particular, the Metric Tool Unit Order looks like it might
be garbage.
Click on Restore Defaults.
There are now 10 preferences whose status is User Set.
It seems like something is wrong here.

To Reproduce

Problem Report Interactions