Esempio n. 1
0
 @Override
 public final void setFont(final Font f) {
   super.setFont(f);
   if (rend != null) {
     rend.setFont(f);
     scrollCode.invokeLater(true);
   }
 }
Esempio n. 2
0
 @Override
 public final void setFont(final Font f) {
   super.setFont(f);
   if (rend != null) {
     rend.setFont(f);
     rend.repaint();
   }
 }