equal
deleted
inserted
replaced
49 * long term persistence. |
49 * long term persistence. |
50 */ |
50 */ |
51 public class WindowsScrollBarUI extends BasicScrollBarUI { |
51 public class WindowsScrollBarUI extends BasicScrollBarUI { |
52 private Grid thumbGrid; |
52 private Grid thumbGrid; |
53 private Grid highlightGrid; |
53 private Grid highlightGrid; |
|
54 private Dimension horizontalThumbSize; |
|
55 private Dimension verticalThumbSize; |
54 |
56 |
55 /** |
57 /** |
56 * Creates a UI for a JScrollBar. |
58 * Creates a UI for a JScrollBar. |
57 * |
59 * |
58 * @param c the text field |
60 * @param c the text field |
63 } |
65 } |
64 |
66 |
65 protected void installDefaults() { |
67 protected void installDefaults() { |
66 super.installDefaults(); |
68 super.installDefaults(); |
67 |
69 |
68 if (XPStyle.getXP() != null) { |
70 XPStyle xp = XPStyle.getXP(); |
|
71 if (xp != null) { |
69 scrollbar.setBorder(null); |
72 scrollbar.setBorder(null); |
70 } |
73 horizontalThumbSize = getSize(scrollbar, xp, Part.SBP_THUMBBTNHORZ); |
|
74 verticalThumbSize = getSize(scrollbar, xp, Part.SBP_THUMBBTNVERT); |
|
75 } else { |
|
76 horizontalThumbSize = null; |
|
77 verticalThumbSize = null; |
|
78 } |
|
79 } |
|
80 |
|
81 private static Dimension getSize(Component component, XPStyle xp, Part part) { |
|
82 Skin skin = xp.getSkin(component, part); |
|
83 return new Dimension(skin.getWidth(), skin.getHeight()); |
|
84 } |
|
85 |
|
86 @Override |
|
87 protected Dimension getMinimumThumbSize() { |
|
88 if ((horizontalThumbSize == null) || (verticalThumbSize == null)) { |
|
89 return super.getMinimumThumbSize(); |
|
90 } |
|
91 return JScrollBar.HORIZONTAL == scrollbar.getOrientation() |
|
92 ? horizontalThumbSize |
|
93 : verticalThumbSize; |
71 } |
94 } |
72 |
95 |
73 public void uninstallUI(JComponent c) { |
96 public void uninstallUI(JComponent c) { |
74 super.uninstallUI(c); |
97 super.uninstallUI(c); |
75 thumbGrid = highlightGrid = null; |
98 thumbGrid = highlightGrid = null; |