46 * future Swing releases. The current serialization support is appropriate
47 * for short term storage or RMI between applications running the same
48 * version of Swing. A future release of Swing will provide support for
49 * long term persistence.
50 */
51 public class WindowsTabbedPaneUI extends BasicTabbedPaneUI {
52 /**
53 * Keys to use for forward focus traversal when the JComponent is
54 * managing focus.
55 */
56 private static Set<KeyStroke> managingFocusForwardTraversalKeys;
57
58 /**
59 * Keys to use for backward focus traversal when the JComponent is
60 * managing focus.
61 */
62 private static Set<KeyStroke> managingFocusBackwardTraversalKeys;
63
64 private boolean contentOpaque = true;
65
66 protected void installDefaults() {
67 super.installDefaults();
68 contentOpaque = UIManager.getBoolean("TabbedPane.contentOpaque");
69
70 // focus forward traversal key
71 if (managingFocusForwardTraversalKeys==null) {
72 managingFocusForwardTraversalKeys = new HashSet<KeyStroke>();
73 managingFocusForwardTraversalKeys.add(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, 0));
74 }
75 tabPane.setFocusTraversalKeys(KeyboardFocusManager.FORWARD_TRAVERSAL_KEYS, managingFocusForwardTraversalKeys);
76 // focus backward traversal key
77 if (managingFocusBackwardTraversalKeys==null) {
78 managingFocusBackwardTraversalKeys = new HashSet<KeyStroke>();
79 managingFocusBackwardTraversalKeys.add( KeyStroke.getKeyStroke(KeyEvent.VK_TAB, InputEvent.SHIFT_MASK));
80 }
81 tabPane.setFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS, managingFocusBackwardTraversalKeys);
82 }
83
84 protected void uninstallDefaults() {
85 // sets the focus forward and backward traversal keys to null
|
46 * future Swing releases. The current serialization support is appropriate
47 * for short term storage or RMI between applications running the same
48 * version of Swing. A future release of Swing will provide support for
49 * long term persistence.
50 */
51 public class WindowsTabbedPaneUI extends BasicTabbedPaneUI {
52 /**
53 * Keys to use for forward focus traversal when the JComponent is
54 * managing focus.
55 */
56 private static Set<KeyStroke> managingFocusForwardTraversalKeys;
57
58 /**
59 * Keys to use for backward focus traversal when the JComponent is
60 * managing focus.
61 */
62 private static Set<KeyStroke> managingFocusBackwardTraversalKeys;
63
64 private boolean contentOpaque = true;
65
66 @SuppressWarnings("deprecation")
67 protected void installDefaults() {
68 super.installDefaults();
69 contentOpaque = UIManager.getBoolean("TabbedPane.contentOpaque");
70
71 // focus forward traversal key
72 if (managingFocusForwardTraversalKeys==null) {
73 managingFocusForwardTraversalKeys = new HashSet<KeyStroke>();
74 managingFocusForwardTraversalKeys.add(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, 0));
75 }
76 tabPane.setFocusTraversalKeys(KeyboardFocusManager.FORWARD_TRAVERSAL_KEYS, managingFocusForwardTraversalKeys);
77 // focus backward traversal key
78 if (managingFocusBackwardTraversalKeys==null) {
79 managingFocusBackwardTraversalKeys = new HashSet<KeyStroke>();
80 managingFocusBackwardTraversalKeys.add( KeyStroke.getKeyStroke(KeyEvent.VK_TAB, InputEvent.SHIFT_MASK));
81 }
82 tabPane.setFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS, managingFocusBackwardTraversalKeys);
83 }
84
85 protected void uninstallDefaults() {
86 // sets the focus forward and backward traversal keys to null
|