398 final SequencedEvent getCurrentSequencedEvent() {
399 synchronized (SequencedEvent.class) {
400 return currentSequencedEvent;
401 }
402 }
403
404 static Set<AWTKeyStroke> initFocusTraversalKeysSet(String value, Set<AWTKeyStroke> targetSet) {
405 StringTokenizer tokens = new StringTokenizer(value, ",");
406 while (tokens.hasMoreTokens()) {
407 targetSet.add(AWTKeyStroke.getAWTKeyStroke(tokens.nextToken()));
408 }
409 return (targetSet.isEmpty())
410 ? Collections.emptySet()
411 : Collections.unmodifiableSet(targetSet);
412 }
413
414 /**
415 * Initializes a KeyboardFocusManager.
416 */
417 public KeyboardFocusManager() {
418 AWTKeyStroke[][] defaultFocusTraversalKeyStrokes = {
419 {
420 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB, 0, false),
421 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB,
422 InputEvent.CTRL_DOWN_MASK |
423 InputEvent.CTRL_MASK, false),
424 },
425 {
426 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB,
427 InputEvent.SHIFT_DOWN_MASK |
428 InputEvent.SHIFT_MASK, false),
429 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB,
430 InputEvent.SHIFT_DOWN_MASK |
431 InputEvent.SHIFT_MASK |
432 InputEvent.CTRL_DOWN_MASK |
433 InputEvent.CTRL_MASK,
434 false),
435 },
436 {},
437 {},
|
398 final SequencedEvent getCurrentSequencedEvent() {
399 synchronized (SequencedEvent.class) {
400 return currentSequencedEvent;
401 }
402 }
403
404 static Set<AWTKeyStroke> initFocusTraversalKeysSet(String value, Set<AWTKeyStroke> targetSet) {
405 StringTokenizer tokens = new StringTokenizer(value, ",");
406 while (tokens.hasMoreTokens()) {
407 targetSet.add(AWTKeyStroke.getAWTKeyStroke(tokens.nextToken()));
408 }
409 return (targetSet.isEmpty())
410 ? Collections.emptySet()
411 : Collections.unmodifiableSet(targetSet);
412 }
413
414 /**
415 * Initializes a KeyboardFocusManager.
416 */
417 public KeyboardFocusManager() {
418 @SuppressWarnings("deprecation")
419 AWTKeyStroke[][] defaultFocusTraversalKeyStrokes = {
420 {
421 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB, 0, false),
422 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB,
423 InputEvent.CTRL_DOWN_MASK |
424 InputEvent.CTRL_MASK, false),
425 },
426 {
427 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB,
428 InputEvent.SHIFT_DOWN_MASK |
429 InputEvent.SHIFT_MASK, false),
430 AWTKeyStroke.getAWTKeyStroke(KeyEvent.VK_TAB,
431 InputEvent.SHIFT_DOWN_MASK |
432 InputEvent.SHIFT_MASK |
433 InputEvent.CTRL_DOWN_MASK |
434 InputEvent.CTRL_MASK,
435 false),
436 },
437 {},
438 {},
|