X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=2783ae9ccedb6883e64e233470235026fc94b67f;hb=1a6fbadeec90e7524075ed6e37bbe4b7bba97a94;hp=58153ab3d0032672ecb9ba7c7d32af4317b39945;hpb=eae0a6cd988e80f75caeee3ba92822fbee6e227d;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 58153ab..2783ae9 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -52,7 +52,7 @@ public class FontChooser extends GFontChooser protected void cancel_actionPerformed(ActionEvent e) { ap.av.setFont(oldFont); - ap.RefreshPanels(); + ap.repaint(); fontName.setSelectedItem(oldFont.getName()); fontSize.setSelectedItem(oldFont.getSize()+""); fontStyle.setSelectedIndex(oldFont.getStyle()); @@ -65,7 +65,7 @@ public class FontChooser extends GFontChooser Integer.parseInt(fontSize.getSelectedItem().toString()) ); ap.av.setFont(newFont); - ap.repaint(); + ap.fontChanged(); } protected void fontName_actionPerformed(ActionEvent e)