Update overviewImage if font changed
authoramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:13 +0000 (12:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:13 +0000 (12:42 +0000)
src/jalview/gui/AlignmentPanel.java

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