Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] Ctrl+W Shortcut key conflict 
I have changed it to Ctrl+Shift+W.  This will be in next Tuesday's 
integration build and in the nightly builds.

Nick





"Lucinio Santos" <santosg@xxxxxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
03/13/02 01:49 PM
Please respond to platform-ui-dev

 
        To:     platform-ui-dev@xxxxxxxxxxx
        cc: 
        Subject:        [platform-ui-dev] Ctrl+W Shortcut key conflict


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 ).

  Thanks,

       - Lucinio Santos


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

Back to the top