From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 7 Apr 2005 16:59:13 +0000 (+0000)
Subject: calls repaint, not just refreshpanels
X-Git-Tag: Release_2_0~465
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=eae0a6cd988e80f75caeee3ba92822fbee6e227d;p=jalview.git

calls repaint, not just refreshpanels
---

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index d7a88a7..58153ab 100755
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -65,7 +65,7 @@ public class FontChooser extends GFontChooser
                             Integer.parseInt(fontSize.getSelectedItem().toString())
                             );
     ap.av.setFont(newFont);
-    ap.RefreshPanels();
+    ap.repaint();
   }
 
   protected void fontName_actionPerformed(ActionEvent e)