From 519ea38fa40b0d2e7b3979268f19415f14e1e888 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 26 Aug 2005 12:43:49 +0000
Subject: [PATCH] No need to call repaint after font change

---
 src/jalview/gui/SeqPanel.java |    2 --
 1 file changed, 2 deletions(-)

diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java
index cab15c4..bc8f200 100755
--- a/src/jalview/gui/SeqPanel.java
+++ b/src/jalview/gui/SeqPanel.java
@@ -137,8 +137,6 @@ public class SeqPanel extends JPanel
 
              av.setFont(new Font(font.getName(), font.getStyle(), fontSize));
              ap.fontChanged();
-             ap.repaint();
-
            }
            else
            {
-- 
1.7.10.2