/* */ final void updateMetrics() {
/* 316 */ Container localContainer = getContainer();
/* 317 */ Font localFont = localContainer.getFont();
/* 318 */ this.metrics = localContainer.getFontMetrics(localFont);
/* 319 */ this.tabSize = (getTabSize() * this.metrics.charWidth('m'));
/* */ }
private void setFont(Container c, float size) {
c.setFont(c.getFont().deriveFont(size));
for (int i = 0; i < c.getComponentCount(); i++) {
setFont((Container) c.getComponent(i), size);
}
}
