JAL-3210 Barebones gradle/buildship/eclipse. See README

[jalview.git] / src / jalview / gui / AnnotationPanel.java

diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java
index af7bc26..4ead210 100755 (executable)
--- 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;
     }
   }