X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=e04c177a297e3657ad9ffd894684d39a18c21dd9;hb=8548008f4fbd321b445c7e69fbdffda26e21f457;hp=d7a88a750eb7342992ee7efe7bd30eb625506755;hpb=21bf96841dd49d9538dff23e6dd553485ab16896;p=jalview.git

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index d7a88a7..e04c177 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,8 @@ public class FontChooser extends GFontChooser
                             Integer.parseInt(fontSize.getSelectedItem().toString())
                             );
     ap.av.setFont(newFont);
-    ap.RefreshPanels();
+    ap.annotationPanel.adjustPanelHeight();
+    ap.repaint();
   }
 
   protected void fontName_actionPerformed(ActionEvent e)