Re: [platform-ui-dev] Table of shortcut keys in Eclipse SDK

["Nick Edgar/OTT/OTI" <Nick_Edgar@xxxxxxx>]

Thanks, Adam.

So far I wasn't really including keys defined by individual widgets, just 
extra ones defined by views, editors and action contributions.
From the user's point of view, though, it doesn't make sense to make this 
distinction.
There are many for the editor that are just assumed, though.  I think it 
would clutter the table too much to add all of them.
Maybe I'll make a separate table just for the default text editor.

Also, there are some interesting ones in the platform widgets that many 
people don't know about.  For example, on Windows, Ctrl+Arrows scroll a 
Tree without changing its selection.  Ctrl+Arrows move focus in a Table 
without changing selection; you can then do Ctrl+Space to extend the 
selection an item at a time.

Would you happen to know if there's a table of system-level keys in 
X/Motif/Linux available somewhere?

Nick





"adam kiezun" <adam.kiezun@xxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
11/29/01 04:59 AM
Please respond to platform-ui-dev

 
        To:     <platform-ui-dev@xxxxxxxxxxx>
        cc: 
        Subject:        Re: [platform-ui-dev] Table of shortcut keys in Eclipse SDK

hi
you missed at least these:
ctrl+shift+ -> (selects the next word in the editor)
ctrl+shift+ <- (selects the previous word in the editor)
 
some more are in the ST class:
/* StyledText key action constants */
/* Navigation */ 
public static final int LINE_UP = SWT.ARROW_UP;
public static final int LINE_DOWN = SWT.ARROW_DOWN;
public static final int LINE_START = SWT.HOME;
public static final int LINE_END = SWT.END;
public static final int COLUMN_PREVIOUS = SWT.ARROW_LEFT;
public static final int COLUMN_NEXT = SWT.ARROW_RIGHT;
public static final int PAGE_UP = SWT.PAGE_UP;
public static final int PAGE_DOWN = SWT.PAGE_DOWN;
public static final int WORD_PREVIOUS = SWT.ARROW_LEFT | SWT.CTRL;
public static final int WORD_NEXT = SWT.ARROW_RIGHT | SWT.CTRL;
public static final int TEXT_START = SWT.HOME | SWT.CTRL;
public static final int TEXT_END = SWT.END | SWT.CTRL;
public static final int WINDOW_START = SWT.PAGE_UP | SWT.CTRL;
public static final int WINDOW_END = SWT.PAGE_DOWN | SWT.CTRL;
/* Selection */
public static final int SELECT_LINE_UP = SWT.ARROW_UP | SWT.SHIFT;
public static final int SELECT_LINE_DOWN = SWT.ARROW_DOWN | SWT.SHIFT;
public static final int SELECT_LINE_START = SWT.HOME | SWT.SHIFT;
public static final int SELECT_LINE_END = SWT.END | SWT.SHIFT;
public static final int SELECT_COLUMN_PREVIOUS = SWT.ARROW_LEFT | SWT.SHIFT;
public static final int SELECT_COLUMN_NEXT = SWT.ARROW_RIGHT | SWT.SHIFT;
public static final int SELECT_PAGE_UP = SWT.PAGE_UP | SWT.SHIFT;
public static final int SELECT_PAGE_DOWN = SWT.PAGE_DOWN | SWT.SHIFT;
public static final int SELECT_WORD_PREVIOUS = SWT.ARROW_LEFT | SWT.CTRL | SWT.SHIFT;
public static final int SELECT_WORD_NEXT = SWT.ARROW_RIGHT | SWT.CTRL | SWT.SHIFT;
public static final int SELECT_TEXT_START = SWT.HOME | SWT.CTRL | SWT.SHIFT;
public static final int SELECT_TEXT_END = SWT.END | SWT.CTRL | SWT.SHIFT;
public static final int SELECT_WINDOW_START = SWT.PAGE_UP | SWT.CTRL| SWT.SHIFT;
public static final int SELECT_WINDOW_END = SWT.PAGE_DOWN | SWT.CTRL | SWT.SHIFT;
/* Modification */
public static final int CUT = SWT.DEL | SWT.SHIFT;
public static final int COPY = SWT.INSERT | SWT.CTRL;
public static final int PASTE = SWT.INSERT | SWT.SHIFT;
public static final int DELETE_PREVIOUS = SWT.BS;
public static final int DELETE_NEXT = SWT.DEL;
/* Miscellaneous */
public static final int TOGGLE_OVERWRITE = SWT.INSERT; 
a.