Re: [platform-ui-dev] Ctrl+W Shortcut key conflict

[Nick_Edgar@xxxxxxx]

I agree.  Conflicts cannot be avoided in general when multiple plugins contribute to the same space, for things like key bindings, mnemonics, etc.

The best you can do is avoid internal conflicts and conflicts with prerequisits (although prerequisites can change over time too, as is happening here).

 

Wherever possible, we should report conflicts either to the log, or the user, as appropriate).

We are working on editor keybindings support for 2.0, and will take this into account.

 

Nick

-----platform-ui-dev-admin@xxxxxxxxxxx wrote: -----

To: <platform-ui-dev@xxxxxxxxxxx>
From: "Johan Compagner" <jcompagner@xxxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
Date: 03/15/2002 04:03AM
Subject: Re: [platform-ui-dev] Ctrl+W Shortcut key conflict

This discussion really shows that Eclipse should have a central point for registering
ShortCut keys. So that when a plugin writer registers a keycombo it will be notified
that there is another one already registered.
Of course this can't be handled all because of the plugin nature of eclipse (plugins against plugins). 

But it will be much better with the key combo's of the core and default plugins.

johan


> Sorry, but Ctrl+Shift+W conflicts with HTML editor's Table->Add Row->Add
> Above menu.
>
>
>> I have changed it to Ctrl+Shift+W. This will be in next Tuesday's
>> integration build and in the nightly builds.
>>
>>
>>> The "Windows->Switch to Editor..." pulldown is using "Ctrl+W" as the
>>> shortcut key. This conflicts with the existing shortcut key for "Format
>>> Document" in the HTML and XML source editors ("Ctrl+W" has been the
>>> shortcut key for "Format" since VA Java ).



_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-ui-dev