PR# 13771 Undocking zone causes it to become tiny

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/12/16
Class: Bug
Severity: Serious
Number: 13771
Release: 6.1.71477
Confidential: No
Status: Analyzed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.9) Gecko/20071111 Firefox/2.0.0.9 Solaris 10 on x86
Synopsis: Undocking zone causes it to become tiny

Description
Undocking an entire zone (rather than one of the tools within the zone)
causes it to become very tiny.  I'm using GTK+2.12 under JDS on
Solaris x86 32-bit.
To Reproduce
Delete ~/.es directory.
Start estudio and compile a project.
Undock zone with Class, Feature, etc tools.  Zone is undocked but is
    very tiny (minimum size).
Problem Report Interactions
From:prestoat2000    Date:2008/07/23    Download   
I just observed the "undocking tool causes it to become tiny" phenomenon
again, on OpenSolaris 2008.05, though I haven't been able to reproduce it
yet (might be a timing issue).  Reopening report.

From:prestoat2000    Date:2008/07/20    Status: Closed    Download   
This finaly seems to be fixed in 6.3.74123.  I hope I don't have to 
retract that statement.  Closing report.