Lines Matching defs:width
220 private Dimension createHeaderSizeAqua(long width) {
222 if (width > Integer.MAX_VALUE) {
223 width = Integer.MAX_VALUE;
225 return new Dimension((int)width, getHeaderHeightAqua());
229 * Return the minimum size of the header. The minimum width is the sum of the minimum widths of each column (plus
233 long width = 0;
237 width = width + aColumn.getMinWidth();
239 return createHeaderSizeAqua(width);
244 * the components provided by the header renderers. The preferred width is the sum of the preferred widths of each
248 long width = 0;
252 width = width + aColumn.getPreferredWidth();
254 return createHeaderSizeAqua(width);