Searched refs:scrollBarWidth (Results 1 - 4 of 4) sorted by relevance
/openjdk7/jdk/src/share/classes/javax/swing/plaf/metal/ |
H A D | MetalScrollBarUI.java | 79 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 D | SynthScrollBarUI.java | 82 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 D | BasicScrollBarUI.java | 102 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 D | WindowsLookAndFeel.java | 549 Object scrollBarWidth = new DesktopProperty("win.scrollbar.width", Integer.valueOf(16)); 1160 "ScrollBar.width", scrollBarWidth,
|
Completed in 32 milliseconds