PR# 12071 Auto Hide of window before pick ends hangs estudio, then F7 crashes it
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/02/15
Class: Bug
Severity: Serious
Number: 12071
Release: 6.0.66595
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0
Solaris 10 on x64
Synopsis: Auto Hide of window before pick ends hangs estudio, then F7 crashes it
Description
Delete ~/.es directory. Compile sample graphical application. Click on Auto Hide button for Clusters window. Move over Clusters icon on left side of main development window. When Clusters window opens, pick a class and move mouse to right over Editor tab but don't drop it. Clusters window auto hides. Now estudio is hung (won't respond to any mouse clicks) but fortunately the window system is not hung. Press F7. Estudio dies with attached trace.
To Reproduce
Problem Report Interactions
Now bug#12140 is fixed, so this bug is fixed. Thanks for the report.
Indeed, there is a bug. This is because pointer button press actions have not been called during pick and drop. I have reported bug#12140. After bug#12140 fixed, this bug will be fixed automatically.
No, the auto hide animation speed is 20 in my version (66595). I tried increasing it to 200 but it made no difference. Once the auto hide of the window finishes (and the picked feature still has not been dropped), estudio is hung. So unless some other change fixed this problem since 66595, it is still there.
This is because the "Auto hide animation speed" preference of Eiffel Studio too fast, it's 1 by default on your version I think. Now we changed it to 20 by default which works fine on Linux. So this problem fixed. Thanks for the report.