X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FSeqCanvas.java;fp=src%2Fjalview%2Fappletgui%2FSeqCanvas.java;h=b025f3232526dc8f732e0b292bc10c7a38561a3a;hb=2267fd4e6dd5e716ba5d89aef9c72c0bd21c6c0b;hp=89df11f67ad932b15b70c80404e09957db6eb12b;hpb=5312252fee162e6bc9bf5ac355930e16f1776c53;p=jalview.git diff --git a/src/jalview/appletgui/SeqCanvas.java b/src/jalview/appletgui/SeqCanvas.java index 89df11f..b025f32 100755 --- a/src/jalview/appletgui/SeqCanvas.java +++ b/src/jalview/appletgui/SeqCanvas.java @@ -27,6 +27,7 @@ import jalview.datamodel.SequenceI; import jalview.renderer.ScaleRenderer; import jalview.renderer.ScaleRenderer.ScaleMark; import jalview.viewmodel.AlignmentViewport; +import jalview.viewmodel.ViewportListenerI; import jalview.viewmodel.ViewportRanges; import java.awt.Color; @@ -34,8 +35,9 @@ import java.awt.FontMetrics; import java.awt.Graphics; import java.awt.Image; import java.awt.Panel; +import java.beans.PropertyChangeEvent; -public class SeqCanvas extends Panel +public class SeqCanvas extends Panel implements ViewportListenerI { FeatureRenderer fr; @@ -64,6 +66,8 @@ public class SeqCanvas extends Panel sr = new SequenceRenderer(av); PaintRefresher.Register(this, av.getSequenceSetId()); updateViewport(); + + av.getRanges().addPropertyChangeListener(this); } int avcharHeight = 0, avcharWidth = 0; @@ -431,7 +435,7 @@ public class SeqCanvas extends Panel av.setWrappedWidth(cWidth); - av.getRanges().setEndRes(av.getRanges().getStartRes() + cWidth); + av.getRanges().setEndRes(av.getRanges().getStartRes() + cWidth - 1); int endx; int ypos = hgap; @@ -858,4 +862,35 @@ public class SeqCanvas extends Panel repaint(); } + @Override + public void propertyChange(PropertyChangeEvent evt) + { + if (!av.getWrapAlignment()) + { + if (evt.getPropertyName().equals("startres") + || evt.getPropertyName().equals("endres")) + { + // Make sure we're not trying to draw a panel + // larger than the visible window + ViewportRanges vpRanges = av.getRanges(); + int scrollX = (int) evt.getNewValue() - (int) evt.getOldValue(); + if (scrollX > vpRanges.getEndRes() - vpRanges.getStartRes()) + { + scrollX = vpRanges.getEndRes() - vpRanges.getStartRes(); + } + else if (scrollX < vpRanges.getStartRes() - vpRanges.getEndRes()) + { + scrollX = vpRanges.getStartRes() - vpRanges.getEndRes(); + } + fastPaint(scrollX, 0); + } + else if (evt.getPropertyName() == "startseq" + || evt.getPropertyName() == "endseq") + { + fastPaint(0, (int) evt.getNewValue() - (int) evt.getOldValue()); + } + } + + } + }