PR# 3882 Keyboard shortcut equivalent to Ctrl+right-click

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: High
Date: 2004/07/20
Class: Feature Request
Severity: Non-critical
Number: 3882
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: Keyboard shortcut equivalent to Ctrl+right-click

Description
The ability to open a new window targetted to an object by right-clicking whilst holding down the Ctrl key is very nice.

Being a keyboard-oriented user, however, I would like to be able to achieve the same with a keyboard shortcut. F12 would be good, because it performs a similar role in Visual Studio. Another that seems natural to me (maybe because it seems similar to the mouse action) would be Ctrl+Enter.

There probably ought to be a menu item and toolbar button for this too. This would help new users to learn this feature. It would be of continuing help to users who like using the menus or toolbars. The keyboard shortcut would be mentioned in the menu item's text and the toolbar button's tool tip, of course.
To Reproduce

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