From: kiramt Date: Tue, 27 Jun 2017 13:18:01 +0000 (+0100) Subject: JAL-2600 Tidies X-Git-Tag: Release_2_10_3b1~183^2^2~2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c1f777a6a4a74ee1573e5f3f883e0de902818ae7;p=jalview.git JAL-2600 Tidies --- 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(); } } diff --git a/src/jalview/gui/SeqCanvas.java b/src/jalview/gui/SeqCanvas.java index 448dc6d..690d2b1 100755 --- a/src/jalview/gui/SeqCanvas.java +++ b/src/jalview/gui/SeqCanvas.java @@ -1015,8 +1015,7 @@ public class SeqCanvas extends JComponent implements ViewportListenerI } else if (evt.getPropertyName().equals("endres")) { - // resize - only endres changes - + // resize - only endres changes - do nothing } else if (evt.getPropertyName().equals("startseq")) { @@ -1025,8 +1024,7 @@ public class SeqCanvas extends JComponent implements ViewportListenerI } else if (evt.getPropertyName().equals("endseq")) { - // resize - + // resize - do nothing } } }