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