JAL-2831 ported to applet
[jalview.git] / src / jalview / appletgui / ScalePanel.java
index 75d4040..04fb22b 100755 (executable)
@@ -469,7 +469,8 @@ public class ScalePanel extends Panel
     // paint, so scroll events are identified as changes to the horizontal or
     // vertical start value.
     if (evt.getPropertyName().equals(ViewportRanges.STARTRES)
-            || evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ))
+            || evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ)
+            || evt.getPropertyName().equals(ViewportRanges.MOVE_VIEWPORT))
     {
       // scroll event, repaint panel
       repaint();