From 767ebb49c9201e652d4efcddcebc6adcdeb45601 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 17 Mar 2005 17:02:01 +0000
Subject: [PATCH] add a border

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

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());
     }
 
   }
-- 
1.7.10.2