No need to call repaint after font change

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