From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 26 Aug 2005 12:42:13 +0000 (+0000)
Subject: Update overviewImage if font changed
X-Git-Tag: Release_2_05~17
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=734927d0150e9d43593e5a2aea1fc06613a9d873;p=jalview.git

Update overviewImage if font changed
---

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();
     }