PR# 10150 ALT+DOWN to switch context, and adding ALT+CTRL+DOWN

Problem Report Summary

Submitter: paulbates

Category: EiffelStudio

Priority: Medium

Date: 2006/01/25

Class: Feature Request

Severity: Non-critical

Number: 10150

Release: 5.7.0528

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8) Gecko/20051111 Firefox/1.5

Synopsis: ALT+DOWN to switch context, and adding ALT+CTRL+DOWN

Description

When using ALT+DOWN it would be great if the context tool actually switched. It's basically useless as a keyboard shortcut when the Output pane is visible because I'm forced to use the mouse.

Here's my suggestion.

ALT+DOWN syncs the context pane for an applicable feature and shows the feature context pane.

ALT+CTRL+DOWN syncs the context pane for an applicable class and shows the class context pane.

To Reproduce

Problem Report Interactions