From b8ad1d6974a31bce823c3d7ac2f49d07f0a0c061 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 15 Apr 2005 15:00:26 +0000
Subject: [PATCH] adjust annotation panel height when font changed

---
 src/jalview/gui/FontChooser.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index 58153ab..3edbdb6 100755
--- 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())
                             );
     ap.av.setFont(newFont);
+    ap.annotationPanel.adjustPanelHeight();
     ap.repaint();
   }
 
-- 
1.7.10.2