From c1f777a6a4a74ee1573e5f3f883e0de902818ae7 Mon Sep 17 00:00:00 2001 From: kiramt Date: Tue, 27 Jun 2017 14:18:01 +0100 Subject: [PATCH] JAL-2600 Tidies --- src/jalview/gui/ScalePanel.java | 1 + src/jalview/gui/SeqCanvas.java | 6 ++---- 2 files changed, 3 insertions(+), 4 deletions(-) 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 } } } -- 1.7.10.2