X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FSeqCanvas.java;fp=src%2Fjalview%2Fappletgui%2FSeqCanvas.java;h=46a908ed553e7f75d0dafc37313752c19333536a;hb=3f5e846ddfee0852718bef491e2839476f5281d3;hp=39382c54e31663feb9637b99423dd3dcf873d2ba;hpb=1499d3297cf70ff34df05362449dbf36873c5bc1;p=jalview.git diff --git a/src/jalview/appletgui/SeqCanvas.java b/src/jalview/appletgui/SeqCanvas.java index 39382c5..46a908e 100755 --- a/src/jalview/appletgui/SeqCanvas.java +++ b/src/jalview/appletgui/SeqCanvas.java @@ -28,6 +28,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; @@ -35,8 +36,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; @@ -65,6 +67,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; @@ -436,7 +440,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; @@ -866,4 +870,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().equals("startseq") + || evt.getPropertyName().equals("endseq")) + { + fastPaint(0, (int) evt.getNewValue() - (int) evt.getOldValue()); + } + } + + } + }