From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 17 Mar 2005 17:02:01 +0000 (+0000)
Subject: add a border
X-Git-Tag: Release_2_0~571
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=767ebb49c9201e652d4efcddcebc6adcdeb45601;p=jalview.git

add a border
---

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index a526fb1..ff3eb16 100755
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -115,6 +115,10 @@ public class IdCanvas extends JPanel
                       AlignmentUtil.getPixelHeight(starty, i, charHeight) +
                       charHeight - (charHeight / 5));
       }
+
+      // add a border
+      gg.setColor(Color.white);
+      gg.fillRect(getWidth()-4,0,4,getHeight());
     }
 
   }