/* */ 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); } }