From 0cd2dfb5cf9067cfa87dc2ac879626070c42f4c2 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 18 Apr 2005 08:03:56 +0000
Subject: [PATCH] calls fontChanged

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

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index e04c177..2783ae9 100755
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -65,8 +65,7 @@ public class FontChooser extends GFontChooser
                             Integer.parseInt(fontSize.getSelectedItem().toString())
                             );
     ap.av.setFont(newFont);
-    ap.annotationPanel.adjustPanelHeight();
-    ap.repaint();
+    ap.fontChanged();
   }
 
   protected void fontName_actionPerformed(ActionEvent e)
-- 
1.7.10.2