Esempio n. 1
0
 public void setFont(Font font) {
   super.setFont(font);
   redoLines = true;
   repaint(16);
 }
Esempio n. 2
0
 public synchronized void setFont(Font f) {
   super.setFont(f);
   charheight = 0;
 }