X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdCanvas.java;h=5313b413969ca7815e62e5d3e70d3953f52b5e84;hb=a41b74d63832baaf00daac0a176118dc751c3b24;hp=74bbcf53407445f158baac342f96c2ee4917e8ee;hpb=c1f777a6a4a74ee1573e5f3f883e0de902818ae7;p=jalview.git diff --git a/src/jalview/appletgui/IdCanvas.java b/src/jalview/appletgui/IdCanvas.java index 74bbcf5..5313b41 100755 --- a/src/jalview/appletgui/IdCanvas.java +++ b/src/jalview/appletgui/IdCanvas.java @@ -402,8 +402,12 @@ public class IdCanvas extends Panel implements ViewportListenerI public void propertyChange(PropertyChangeEvent evt) { // Respond to viewport range changes (e.g. alignment panel was scrolled) - if (evt.getPropertyName().equals("startseq") - || evt.getPropertyName().equals("endseq")) + // Both scrolling and resizing change viewport ranges: scrolling changes + // both start and end points, but resize only changes end values. + // Here we only want to fastpaint on a scroll, with resize using a normal + // paint, so scroll events are identified as changes to the horizontal or + // vertical start value. + if (evt.getPropertyName().equals(ViewportRanges.STARTSEQ)) { fastPaint((int) evt.getNewValue() - (int) evt.getOldValue()); }