/*     */ 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'));
   /*     */ }
Exemplo n.º 2
0
 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);
   }
 }