From 3c6f9560473b43f3f6e338e4f0fa2405b732179e Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 10 Dec 2004 14:34:27 +0000
Subject: [PATCH] SELECTED IDS COLOURED LIGHT GRAY

---
 src/jalview/gui/IdCanvas.java |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index 67c3dca..6d4a5b9 100755
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -27,7 +27,7 @@ public class IdCanvas extends JPanel
       int charHeight = av.getCharHeight();
 
       if (av.getSelection().contains(ds)) {
-	  gg.setColor(Color.gray);
+	  gg.setColor(Color.lightGray);
 	  gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
 	  gg.setColor(Color.white);
       } else {
@@ -129,7 +129,7 @@ public class IdCanvas extends JPanel
         // Selected sequence colours
         if (av.getSelection().contains(da.getSequenceAt(i)))
         {
-          currentColor = Color.gray;
+          currentColor = Color.lightGray;
           currentTextColor = Color.black;
         }
         else
-- 
1.7.10.2