adjust annotation panel height when font changed

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index 58153ab..3edbdb6 100755 (executable)
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -65,6 +65,7 @@ public class FontChooser extends GFontChooser
                             Integer.parseInt(fontSize.getSelectedItem().toString())\r
                             );\r
     ap.av.setFont(newFont);\r
+    ap.annotationPanel.adjustPanelHeight();\r
     ap.repaint();\r
   }\r
 \r