Lines Matching defs:height
93 if (size.height > maxSize) {
94 final int diff = size.height - maxSize;
96 size.height = maxSize;
98 if (size.height < 4) doPaint = false;
110 painter.paint(g, splitPane, x, y, size.width, size.height);
176 if (size.height > maxSize) {
177 final int diff = size.height - maxSize;
224 public void paintBorder(final Component c, final Graphics g, final int x, final int y, final int width, final int height) {
230 g2d.setPaint(new GradientPaint(0, 0, startColor, 0, height, endColor));
231 g2d.fillRect(x, y, width, height);
234 g2d.drawLine(x, y + height - 1, x + width, y + height - 1);