PR# 12644 Context tool navigation bar does not close (Windows)

Problem Report Summary
Submitter: paulbates
Category: EiffelStudio
Priority: Medium
Date: 2007/05/08
Class: Bug
Severity: Serious
Number: 12644
Release: 6.0.6.8140
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Synopsis: Context tool navigation bar does not close (Windows)

Description
The attached image show the EiffelStudio context tool navigation bar unclosed. It's easy to replicate this bug. 
To Reproduce
1. Open a compiled project in ES
2. In the class context tool open STRING_8
3. Using the context tool's navigation bar enter '*' into the features field and press enter.

-- List should now be shown --

4. With the mouse click inside the class context tool to discard the navigation bar - do *not* press ESC!
5. If ES is maximized hit the restore button.
6. Move ES away to reveal the persisting navigation bar.
Problem Report Interactions
From:larryl    Date:2007/05/09    Status: Closed    Download   
This bug is fixed in revision#68220.

Thanks for your report.

From:paulbates    Date:2007/05/08    Download   
Attachments for problem report #12644

Attachment: abandoned_bar.PNG     Size:666715