PR# 13066 Docking and undocking windows often leads to two copies of one tool
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/09
Class: Bug
Severity: Serious
Number: 13066
Release: 6.0.68981
Confidential: No
Status: Closed
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: Docking and undocking windows often leads to two copies of one tool
Description
Although I cannot provide a reproducible sequence for this (I think it might be timing-related), I often end up with two copies of one tool after a series of tool dock/undock actions. When this happens, one of the tools has a beige (theme background color) background in its window. Undocking one copy of the tool and then docking the other copy in the left half of it always leads to a crash, but unfortunately without an exception trace. I can still reproduce this problem in rev 68981, usually within 2-3 minutes of undocking windows, docking them with other windows, etc.
To Reproduce
Problem Report Interactions
The reason of this bug is same as bug#13094. This is fixed in revision#69093. Thanks for your report.