void (Dimension size, int scale) { for (CrumbView view : views) { if (view.crumb != null) { if (view.font == null) view.update(); size.width += view.preferred.width; if (size.height < view.preferred.height) { size.height = view.preferred.height; } } } if (size.height == 0) { Font font = getFont(); if (font != null) { FontMetrics fm = getFontMetrics(font); size.height = scale * (TOP_BOTTOM + TOP_BOTTOM) + (fm != null ? fm.getHeight() : font.getSize()); } } }