Lines 191-196
Link Here
|
191 |
SettingsNames.STATUS_BAR_BOLD_COLORING |
191 |
SettingsNames.STATUS_BAR_BOLD_COLORING |
192 |
}; |
192 |
}; |
193 |
|
193 |
|
|
|
194 |
|
195 |
private static final int FIND_NEXT_KEY = |
196 |
System.getProperty("mrj.version") == null ? |
197 |
KeyEvent.VK_F3 : KeyEvent.VK_G; |
198 |
|
199 |
private static final int FIND_NEXT_MASK = |
200 |
System.getProperty("mrj.version") == null ? |
201 |
0 : KeyEvent.META_DOWN_MASK; |
202 |
|
203 |
|
194 |
public static final MultiKeyBinding[] defaultKeyBindings |
204 |
public static final MultiKeyBinding[] defaultKeyBindings |
195 |
= new MultiKeyBinding[] { |
205 |
= new MultiKeyBinding[] { |
196 |
new MultiKeyBinding( |
206 |
new MultiKeyBinding( |
Lines 455-469
Link Here
|
455 |
BaseKit.gotoNextBookmarkAction |
465 |
BaseKit.gotoNextBookmarkAction |
456 |
), |
466 |
), |
457 |
new MultiKeyBinding( |
467 |
new MultiKeyBinding( |
458 |
KeyStroke.getKeyStroke(KeyEvent.VK_F3, 0), |
468 |
KeyStroke.getKeyStroke(FIND_NEXT_KEY, FIND_NEXT_MASK), |
459 |
BaseKit.findNextAction |
469 |
BaseKit.findNextAction |
460 |
), |
470 |
), |
461 |
new MultiKeyBinding( |
471 |
new MultiKeyBinding( |
462 |
KeyStroke.getKeyStroke(KeyEvent.VK_F3, InputEvent.SHIFT_MASK), |
472 |
KeyStroke.getKeyStroke(FIND_NEXT_KEY, FIND_NEXT_MASK | InputEvent.SHIFT_MASK), |
463 |
BaseKit.findPreviousAction |
473 |
BaseKit.findPreviousAction |
464 |
), |
474 |
), |
465 |
new MultiKeyBinding( |
475 |
new MultiKeyBinding( |
466 |
KeyStroke.getKeyStroke(KeyEvent.VK_F3, InputEvent.CTRL_MASK), |
476 |
KeyStroke.getKeyStroke(FIND_NEXT_KEY, FIND_NEXT_MASK | InputEvent.CTRL_MASK), |
467 |
BaseKit.findSelectionAction |
477 |
BaseKit.findSelectionAction |
468 |
), |
478 |
), |
469 |
new MultiKeyBinding( |
479 |
new MultiKeyBinding( |