git://source.jalview.org / jalview.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
no need to send consensus
[jalview.git] / src / jalview / gui / FontChooser.java
diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index d7a88a7..3edbdb6 100755 (executable)
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -65,7 +65,8 @@ public class FontChooser extends GFontChooser
                             Integer.parseInt(fontSize.getSelectedItem().toString())\r
                             );\r
     ap.av.setFont(newFont);\r
-    ap.RefreshPanels();\r
+    ap.annotationPanel.adjustPanelHeight();\r
+    ap.repaint();\r
   }\r
 \r
   protected void fontName_actionPerformed(ActionEvent e)\r