JAL-2831 ported to applet
[jalview.git] / src / jalview / appletgui / AnnotationPanel.java
index 2b2fdea..50a9e33 100755 (executable)
@@ -783,5 +783,9 @@ public class AnnotationPanel extends Panel
       fastPaint(((int[]) evt.getNewValue())[0]
               - ((int[]) evt.getOldValue())[0]);
     }
+    else if (evt.getPropertyName().equals(ViewportRanges.MOVE_VIEWPORT))
+    {
+      repaint();
+    }
   }
 }