PR# 3855 New Object Editor does not have focus

Problem Report Summary
Submitter: peter_gummer
Category: EiffelBuild
Priority: Medium
Date: 2004/07/15
Class: Feature Request
Severity: Non-critical
Number: 3855
Release: 5.4.0907
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7) Gecko/20040626 Firefox/0.9.1
Synopsis: New Object Editor does not have focus

Description
Control-right-click creates a new Object Editor. Presumably, if a user has chosen to create an Object Editor then they intend to use it immediately.

It would therefore make good ergonomic sense to focus it as soon as it is created, rather than requiring the user to perform an extra click.
To Reproduce

										
Problem Report Interactions
From:peter_gummer    Date:2004/07/15    Download