Lines Matching defs:width
100 if (size.width > maxSize) {
101 final int diff = size.width - maxSize;
103 size.width = maxSize;
105 if (size.width < 4) doPaint = false;
110 painter.paint(g, splitPane, x, y, size.width, size.height);
188 if (size.width > maxSize) {
189 final int diff = size.width - maxSize;
224 public void paintBorder(final Component c, final Graphics g, final int x, final int y, final int width, final int height) {
231 g2d.fillRect(x, y, width, height);
233 g2d.drawLine(x, y, x + width, y);
234 g2d.drawLine(x, y + height - 1, x + width, y + height - 1);