PR# 12738 Resetting tools layout after auto-hiding all tools causes crash

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/05/16
Class: Bug
Severity: Serious
Number: 12738
Release: 6.0.68277
Confidential: No
Status: Closed
Responsible: larryl
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.0.7) Gecko/20060915 Firefox/1.5.0.7 Solaris 9 on SPARC
Synopsis: Resetting tools layout after auto-hiding all tools causes crash

Description
Delete ~/.es directory.
Start estudio but don't open a project (click Cancel).
Auto Hide Features tool, Clusters tool and zone with Warnings, etc.
Select View/Reset Tools Layout.
Estudio crashes with no trace.
To Reproduce

										
Problem Report Interactions
From:larryl    Date:2007/06/04    Status: Closed    Download   
This bug is fixed in revision#68848.

Thanks for your report.