PR# 10953 Backspace key is non-standard in Preferences

Problem Report Summary
Submitter: peter_gummer
Category: EiffelVision
Priority: Low
Date: 2006/08/11
Class: Bug
Severity: Non-critical
Number: 10953
Release: 5.7.62110
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.0.5) Gecko/20060719 Firefox/1.5.0.5
Synopsis: Backspace key is non-standard in Preferences

Description
In the Preferences window, hitting the backspace key behaves differently from the Cluster tool and the Project Settings tree.

Normally, if a sub-node is currently selected, hitting the backspace key causes the parent node to be selected. This is great, because it's an extremely quick way to move up to the parent level if the selected sub-node is towards the end of a long list of children.

In the Preferences window, hitting the backspace key in this situation has no effect. This is a nuisance, because I have to hold down the up arrow key for some time, then release it at precisely the correct moment, in order to select the parent node.
To Reproduce

										
Problem Report Interactions