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)
commit767ebb49c9201e652d4efcddcebc6adcdeb45601
tree900aba9854f6f7e62589e936a9b192684772fcd1
parentb6a37a0e18e681bb6457cb37d57caf39f39b3fc4
add a border
src/jalview/gui/IdCanvas.java