PR# 12656 Undocked tools not closed when window closed, leading to crash
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/05/09
Class: Bug
Severity: Serious
Number: 12656
Release: 6.0.68196
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.2) Gecko/20070225 Firefox/2.0.0.2
Solaris 10 on x86
Synopsis: Undocked tools not closed when window closed, leading to crash
Description
Undocked tools are not closed when a window is closed, which can lead to a crash.
To Reproduce
Start estudio and open existing project. Click on Create New Window button. In new window, undock Clusters tool. Select File/Close in new window. Undocked Clusters tool is still present. Click on its Create New Class button. Estudio crashes with attached trace.
Problem Report Interactions
This bug is fixed in revision#68221. All undocked tools will be destroyed after closed main window. Thanks for your report.