コード例 #1
0
 public void setFont(Font font) {
   super.setFont(font);
   redoLines = true;
   repaint(16);
 }
コード例 #2
0
ファイル: StatusBar.java プロジェクト: jhjensen/javi
 public synchronized void setFont(Font f) {
   super.setFont(f);
   charheight = 0;
 }