X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=2783ae9ccedb6883e64e233470235026fc94b67f;hb=e7ed63f1ea56432246a6ed1553f0fe56d26f56ea;hp=d7a88a750eb7342992ee7efe7bd30eb625506755;hpb=21bf96841dd49d9538dff23e6dd553485ab16896;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index d7a88a7..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.RefreshPanels(); + ap.fontChanged(); } protected void fontName_actionPerformed(ActionEvent e)