Searched refs:thumbHeight (Results 1 - 4 of 4) sorted by relevance
/openjdk7/jdk/src/share/classes/com/sun/imageio/plugins/jpeg/ |
H A D | JFIFMarkerSegment.java | 77 int thumbHeight; field in class:JFIFMarkerSegment 120 thumbHeight = 0; 139 thumbHeight = buffer.buf[buffer.bufPtr++] & 0xff; 142 thumb = new JFIFThumbRGB(buffer, thumbWidth, thumbHeight); 229 node.setAttribute("thumbHeight", Integer.toString(thumbHeight)); 272 value = getAttributeValue(node, attrs, "thumbHeight", 0, 255, false); 273 thumbHeight = (value != -1) ? value : thumbHeight; 373 int thumbHeight 841 int thumbHeight; field in class:JFIFMarkerSegment.JFIFThumbUncompressed [all...] |
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/motif/ |
H A D | MotifSplitPaneDivider.java | 232 int thumbHeight; 240 thumbHeight = hThumbHeight; 247 thumbHeight = vThumbHeight; 250 y >= thumbY && y < (thumbY + thumbHeight));
|
/openjdk7/jdk/src/share/classes/javax/swing/plaf/synth/ |
H A D | SynthSliderUI.java | 73 private int thumbHeight; field in class:SynthSliderUI 156 thumbHeight = 157 style.getInt(context, "Slider.thumbHeight", 14); 167 thumbHeight *= 1.15; 170 thumbHeight *= 0.857; 173 thumbHeight *= 0.784; 180 trackHeight = thumbHeight + trackBorder * 2; 690 size.width = thumbHeight; 694 size.height = thumbHeight;
|
/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/ |
H A D | BasicSliderUI.java | 330 int thumbHeight = thumbSize.height; 331 int centerSpacing = thumbHeight; 339 int trackHeight = thumbHeight; 353 int thumbHeight = thumbSize.height; 355 thumbHeight / 2);
|
Completed in 31 milliseconds