[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-ui-dev] Re: Proposed accelerator change: using Ctrl+Shift+B for build
|
Ideally the editor could define Ctrl+B for bold, and that would have
precedence over any global shortcut when in that editor.
However, the current keybindings support does not allow this. SWT always
processes accelerators first, so the editor would never see it.
Your points below are well taken. We can't second guess what accelerators
will be needed for products above us.
However, Ctrl+B is so commonly used for Bold that I wanted to get a feel
for what people thought about changing the key for build.
Nick
John_Arthorne@xxxxxxx
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
05/16/02 10:00 AM
Please respond to platform-ui-dev
To: platform-ui-dev@xxxxxxxxxxx
cc:
Subject: [platform-ui-dev] Re: Proposed accelerator change: using Ctrl+Shift+B for
build
Is there any way that the accelerator could act differently based on the
active part/editor? When writing in a java editor, Ctrl+B makes sense for
build, but when writing HTML Ctrl+B for bold makes the most sense. I
think
the contexts are different enough that a different keyboard mapping for
those actions would be acceptable. Alternatively, don't we have a
mechanism now so that other products can ship with a different set of key
bindings from the base SDK? In the Eclipse SDK, Ctrl+B for bold is
wasted,
but in other products they should be able to redefine it to mean whatever
makes the most sense for their product.
We'll never arrive at a set of global accelerators that doesn't create
some
conflict between tools. There's just too many products built on top of
eclipse that have different accelerator requirements, and not enough keys
on the keyboard. Just my two cents....
Nick said:
>We are considering changing the accelerator for Build to Ctrl+Shift+B.
> This is to address:
> [Bug 16112] New: Conflict of keyboard shortcut key (Ctrl+B)
> http://bugs.eclipse.org/bugs/show_bug.cgi?id=16112
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-ui-dev
