From: gmungoc <g.m.carstairs@dundee.ac.uk>
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/?p=jalview.git;a=commitdiff_plain;h=6b90cce63b09fca914a35d49a1b6883664e48a29

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);
   }
 
   /**