From: gmungoc Date: Mon, 3 Jul 2017 13:54:11 +0000 (+0100) Subject: JAL-2034 don't refresh Overview for selection in id panel X-Git-Tag: Release_2_10_3b1~132^2~62 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6b90cce63b09fca914a35d49a1b6883664e48a29;p=jalview.git JAL-2034 don't refresh Overview for selection in id panel --- diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index 6097089..065f97e 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -138,7 +138,7 @@ public class IdPanel extends JPanel implements MouseListener, } lastid = seq; - alignPanel.paintAlignment(true); + alignPanel.paintAlignment(false); } /** @@ -313,7 +313,7 @@ public class IdPanel extends JPanel implements MouseListener, av.isSelectionGroupChanged(true); - alignPanel.paintAlignment(true); + alignPanel.paintAlignment(false); } /**