PR# 13018 Picking class via context menu does not work in mini-toolbar

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/05
Class: Bug
Severity: Non-critical
Number: 13018
Release: 6.0.68843
Confidential: No
Status: Closed
Responsible: larryl
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.0.7) Gecko/20060915 Firefox/1.5.0.7 Solaris 9 on SPARC
Synopsis: Picking class via context menu does not work in mini-toolbar

Description
Compile a system.
Drop a class in Class tool.
Resize Class tool so that it is very narrow, so that mini-toolbar button appears
   and pickable class name in title bar is not shown.
Click on Show Mini Toolbar button.
In resulting mini toolbar, click on class name (in blue).
Context menu appears.  Select the Pick option.  Class is not picked.
To Reproduce

										
Problem Report Interactions
From:larryl    Date:2009/09/03    Status: Closed    Download   
This bug is fixed in revision#80616 for Eiffel Studio intermediate releases.

Thanks for your report.