PR# 12340 Switching between forced/normal debugger mode makes undocked Objects window tiny

Problem Report Summary

Submitter: prestoat2000

Category: EiffelStudio

Priority: Medium

Date: 2007/03/20

Class: Bug

Severity: Non-critical

Number: 12340

Release: 6.0.67358

Confidential: No

Status: Closed

Responsible: jfiat_es

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0 Solaris 10 on x64

Synopsis: Switching between forced/normal debugger mode makes undocked Objects window tiny

Description

Switching too fast between forced debugger mode and normal mode and then
back again often causes an Objects window which is undocked to become tiny
(minimum size).

To Reproduce

Click on Force Debugger Mode button.
Undock Objects window and move below main window.
Click on Force Debugger Mode button repeatedly.
Soon Objects window appears and is minimum size (very tiny) instead of the
   size it is supposed to be.

Problem Report Interactions

From:larryl Date:2007/07/06 Status: Closed Download

This bug is fixed in revision#69315.

Thanks for your report.