From 1bb65850f64215ce1ccfe4dcf79da533723db2b3 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 15 Feb 2006 15:23:26 +0000
Subject: [PATCH] if shift down bug fixed

---
 src/jalview/gui/UserDefinedColours.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/gui/UserDefinedColours.java b/src/jalview/gui/UserDefinedColours.java
index 089c8a9..556ae41 100755
--- a/src/jalview/gui/UserDefinedColours.java
+++ b/src/jalview/gui/UserDefinedColours.java
@@ -175,7 +175,7 @@ public class UserDefinedColours extends GUserDefinedColours
       if(e.isShiftDown())
       {
         JButton start, end = (JButton) e.getSource();
-        if(selectedButtons.size()>1)
+        if(selectedButtons.size()>0)
           start = (JButton)selectedButtons.elementAt(selectedButtons.size()-1);
         else
           start = (JButton) e.getSource();
-- 
1.7.10.2