jdk/src/share/classes/java/awt/TextArea.java

Print this page

        

*** 121,131 **** /** * Cache the Sets of forward and backward traversal keys so we need not * look them up each time. */ ! private static Set forwardTraversalKeys, backwardTraversalKeys; /* * JDK 1.1 serialVersionUID */ private static final long serialVersionUID = 3692302836626095722L; --- 121,131 ---- /** * Cache the Sets of forward and backward traversal keys so we need not * look them up each time. */ ! private static Set<AWTKeyStroke> forwardTraversalKeys, backwardTraversalKeys; /* * JDK 1.1 serialVersionUID */ private static final long serialVersionUID = 3692302836626095722L;
*** 141,154 **** if (!GraphicsEnvironment.isHeadless()) { initIDs(); } forwardTraversalKeys = KeyboardFocusManager.initFocusTraversalKeysSet( "ctrl TAB", ! new HashSet()); backwardTraversalKeys = KeyboardFocusManager.initFocusTraversalKeysSet( "ctrl shift TAB", ! new HashSet()); } /** * Constructs a new text area with the empty string as text. * This text area is created with scrollbar visibility equal to --- 141,154 ---- if (!GraphicsEnvironment.isHeadless()) { initIDs(); } forwardTraversalKeys = KeyboardFocusManager.initFocusTraversalKeysSet( "ctrl TAB", ! new HashSet<AWTKeyStroke>()); backwardTraversalKeys = KeyboardFocusManager.initFocusTraversalKeysSet( "ctrl shift TAB", ! new HashSet<AWTKeyStroke>()); } /** * Constructs a new text area with the empty string as text. * This text area is created with scrollbar visibility equal to