X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAnnotationPanel.java;fp=src%2Fjalview%2Fgui%2FAnnotationPanel.java;h=af7bc26251f31d32150c4d5b9e66f55313a82374;hb=a83adb45bdf9554e270921b4baad94defd314b36;hp=4ead210a6f4b778975db4bf191e190ae0579b62c;hpb=d4ec118f86b5c9dee801e743c46aaacc7bb521d1;p=jalview.git diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java index 4ead210..af7bc26 100755 --- a/src/jalview/gui/AnnotationPanel.java +++ b/src/jalview/gui/AnnotationPanel.java @@ -1133,6 +1133,7 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI, gg.dispose(); + fastPaint = true; // Call repaint on alignment panel so that repaints from other alignment @@ -1297,18 +1298,23 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI, // 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.STARTRES)) + switch (evt.getPropertyName()) { + case ViewportRanges.STARTRES: fastPaint((int) evt.getNewValue() - (int) evt.getOldValue()); - } - else if (evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ)) - { + break; + case ViewportRanges.STARTRESANDSEQ: fastPaint(((int[]) evt.getNewValue())[0] - ((int[]) evt.getOldValue())[0]); - } - else if (evt.getPropertyName().equals(ViewportRanges.MOVE_VIEWPORT)) - { + break; + case ViewportRanges.MOVE_VIEWPORT: repaint(); + break; + case ViewportRanges.STARTSEQ: + case ViewportRanges.ENDRES: + case ViewportRanges.ENDSEQ: + // ignore + break; } }