X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FScalePanel.java;h=800dc19174ec66b5e3ed5a565584f688070fae37;hb=c1f777a6a4a74ee1573e5f3f883e0de902818ae7;hp=9651a872020d4863fa59a3c83d73b1332584e05b;hpb=36c3c5a0883c68bb8b007bb392668977331f9f1a;p=jalview.git diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index 9651a87..800dc19 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -548,6 +548,7 @@ public class ScalePanel extends JPanel implements MouseMotionListener, // Respond to viewport change events (e.g. alignment panel was scrolled) if (evt.getPropertyName().equals("startres")) { + // scroll event, repaint panel repaint(); } }