git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 838a66f)
JAL-2034 don't refresh Overview for selection in id panel
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 3 Jul 2017 13:54:11 +0000 (14:54 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 3 Jul 2017 13:54:11 +0000 (14:54 +0100)
src/jalview/gui/IdPanel.java patch | blob | history

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index 6097089..065f97e 100755 (executable)
--- 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);
   }
 
   /**