PR# 12965 Restoring default preferences does not always work

Problem Report Summary
Submitter: prestoat2000
Category: Preferences
Priority: Medium
Date: 2007/06/03
Class: Bug
Severity: Serious
Number: 12965
Release: 6.0.68837
Confidential: No
Status: Open
Responsible: jfiat_es
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: Restoring default preferences does not always work

Description
Restoring the default preferences in the Preferences window does not always work.
This should be added to the Critical Bugs list.
To Reproduce
Delete ~/.es directory.
Compile sample graphical application.
Select Tools/Preferences.
Expand the Compiler node (in tree view).
Change Maximum Processors to 3.
Click on Restore Defaults button and confirm.
Maximum number of processors preferences should have been reset to 0 but is
   still shown as 3.  Note that this is not just a display issue - if I exit
   estudio at this point and restart and examine this preference, it has the
   value 3.
However, do not exit estudio.
Switch to Flat view, then back to Tree view.  Now the maximum number of 
   processors value is 0.
Problem Report Interactions