[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-ui-dev] RFC: Key Bindings Proposal (end date = Dec 14, 2001)
|
After seeing your two examples of FrontPage and Interdev I realize that a
single set of key bindings for all editors isn't what the user wants. For
source code, I want Ctrl+I to be Indent, but for HTML I want ctrl+I to be
Italics. Making "Indent" for source editors use something other than
Ctrl+I because WYSIWYG editors use it for Italics would be a mistake.
I suppose WYSIWYG editors could still respect some of the key bindings that
are used in source editors, like "End of line", but it might ignore others,
like indent. However, you have to define all key bindings or none. If you
define just a subset, and the Editor has to supplement that subset, how
does it know to avoid conflicts?
Maybe there would be specific key-bindings for WYSIWYG source too, like
Enter maps to newline <BR>, while Shift+Enter maps to new paragraph <P>.
David_Springgay@xxxxxxx
Sent by: To: platform-ui-dev@xxxxxxxxxxx
platform-ui-dev-admin@e cc:
clipse.org Subject: Re: [platform-ui-dev] RFC: Key Bindings Proposal (end date = Dec 14, 2001)
12/12/2001 10:01 AM
Please respond to
platform-ui-dev
If I am correct, the goal of the key binding proposal is to remap the
accelerators for global actions + editor actions. For instance, you may
apply Emacs keybindings to the environment. Emacs is more than just Find,
Save As, etc. It also involves go to end of line, indent, Capitalize,
Upper Case, Lower Case, Bookmark, Jump to Bookmark, Goto Line, etc, and so
application of Emacs keybindings would also effect the editor actions.
There would be a single, dominant set of key bindings. This would override
the accelerators defined in an editor, where the editor contributes one of
the common actions.
For instance, if you're a java developer who is familiar with MS Interdev,
you may choose the MS Interdev key bindings. These key bindings would work
in the java editor,as well as the Html editor. If you're an html
developer, who is familiar with Front Page, you may choose the Front Page
bindings. These bindings would override your html editor, as well as your
java editor. A single set of keybindings should work everywhere, and that
set should be chosen by the user.
Dave
