Searched refs:scrollBarWidth (Results 1 - 4 of 4) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/plaf/metal/
H A DMetalScrollBarUI.java79 protected int scrollBarWidth; field in class:MetalScrollBarUI
90 scrollBarWidth = ((Integer)(UIManager.get( "ScrollBar.width" ))).intValue();
121 return new Dimension( scrollBarWidth, scrollBarWidth * 3 + 10 );
125 return new Dimension( scrollBarWidth * 3 + 10, scrollBarWidth );
134 decreaseButton = new MetalScrollButton( orientation, scrollBarWidth, isFreeStanding );
141 increaseButton = new MetalScrollButton( orientation, scrollBarWidth, isFreeStanding );
390 return new Dimension( scrollBarWidth, scrollBarWidth );
[all...]
/openjdk7/jdk/src/share/classes/javax/swing/plaf/synth/
H A DSynthScrollBarUI.java82 scrollBarWidth = style.getInt(context,"ScrollBar.thumbHeight", 14);
108 scrollBarWidth *= 1.15;
112 scrollBarWidth *= 0.857;
116 scrollBarWidth *= 0.714;
352 ? new Dimension(scrollBarWidth + insets.left + insets.right, 48)
353 : new Dimension(48, scrollBarWidth + insets.top + insets.bottom);
363 minimumThumbSize.width = scrollBarWidth;
367 minimumThumbSize.height = scrollBarWidth;
/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/
H A DBasicScrollBarUI.java102 protected int scrollBarWidth; field in class:BasicScrollBarUI
189 scrollBarWidth = UIManager.getInt("ScrollBar.width");
190 if (scrollBarWidth <= 0) {
191 scrollBarWidth = 16;
222 scrollBarWidth *= 1.15;
226 scrollBarWidth *= 0.857;
230 scrollBarWidth *= 0.714;
452 ? new Dimension(scrollBarWidth, 48)
453 : new Dimension(48, scrollBarWidth);
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/windows/
H A DWindowsLookAndFeel.java549 Object scrollBarWidth = new DesktopProperty("win.scrollbar.width", Integer.valueOf(16));
1160 "ScrollBar.width", scrollBarWidth,

Completed in 32 milliseconds