742 |
"ScrollBar.thumbShadow", new ColorUIResource(shadow), |
"ScrollBar.thumbShadow", new ColorUIResource(shadow), |
743 |
"ScrollBar.track", new ColorUIResource(light), |
"ScrollBar.track", new ColorUIResource(light), |
744 |
"ScrollBar.trackHighlight", new ColorUIResource(shadow), |
"ScrollBar.trackHighlight", new ColorUIResource(shadow), |
745 |
|
"ScrollBar.width", new Integer(16), |
746 |
"ScrollPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"ScrollPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
747 |
"PAGE_UP", "scrollUp", |
"PAGE_UP", "scrollUp", |
748 |
"KP_LEFT", "unitScrollLeft", |
"KP_LEFT", "unitScrollLeft", |