From 6b90cce63b09fca914a35d49a1b6883664e48a29 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 3 Jul 2017 14:54:11 +0100 Subject: [PATCH] JAL-2034 don't refresh Overview for selection in id panel --- src/jalview/gui/IdPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); } /** -- 1.7.10.2