UserColors not used here
authoramwaterhouse <Andrew Waterhouse>
Thu, 16 Mar 2006 15:29:34 +0000 (15:29 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 16 Mar 2006 15:29:34 +0000 (15:29 +0000)
commit4032f3085aaf1fa32fdb510e64e48956cbb49e8a
treeabbcb0d3224863706e1697071913d7138510305b
parent6ddf2d553aee329db44dd36b564211c3880563ec
UserColors not used here
src/jalview/gui/Finder.java