From 734927d0150e9d43593e5a2aea1fc06613a9d873 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 26 Aug 2005 12:42:13 +0000
Subject: [PATCH] Update overviewImage if font changed

---
 src/jalview/gui/AlignmentPanel.java |   17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 3c80f3a..78e545a 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -156,6 +156,23 @@ public class AlignmentPanel extends GAlignmentPanel
         d.setSize(d.width + 4, d.height);
         idPanel.idCanvas.setPreferredSize(d);
         hscrollFillerPanel.setPreferredSize(d);
+
+        if (av.getWrapAlignment())
+        {
+          int max = av.alignment.getWidth() /
+              seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());
+          vscroll.setMaximum(max);
+          vscroll.setUnitIncrement(1);
+          vscroll.setVisibleAmount(1);
+        }
+        else
+        {
+          setScrollValues(av.getStartRes(), av.getStartSeq());
+        }
+
+        if(overviewPanel!=null)
+          overviewPanel.updateOverviewImage();
+
         repaint();
     }
 
-- 
1.7.10.2