add a border
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 17:02:01 +0000 (17:02 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 17:02:01 +0000 (17:02 +0000)
src/jalview/gui/IdCanvas.java

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