PR# 4197 Suggestion - More Editor Keyboard Shortcut Options
Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Medium
Date: 2005/01/06
Class: Feature Request
Severity: Serious
Number: 4197
Release: 5.5.1012
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7.5) Gecko/20041107 Firefox/1.0
Synopsis: Suggestion - More Editor Keyboard Shortcut Options
Description
Under Tools | Preferences, 7 keyboard shortcuts can be changed and 3 user defined strings can be set. I have ideas for many more user-defined strings, but I have used up all 3! Also, there are a few keyboard shortcuts that I would like to change but cannot (Ctrl+U, Ctrl+Shift+U, Ctrl+K, Ctrl+Shift+K). Mike Meyer has also recently reported on comp.lang.eiffel that he tried EiffelStudio, but hated the fact that it forces him to use standard Windows arrow keystrokes to select or delete whole words or lines. If this were user configurable then it would satisfy people like him (although personally I am perfectly happy with the Windows standard keystrokes).
To Reproduce
Problem Report Interactions