usercolours changed
authoramwaterhouse <Andrew Waterhouse>
Wed, 25 May 2005 16:26:38 +0000 (16:26 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 25 May 2005 16:26:38 +0000 (16:26 +0000)
commitc7040936ee47d9d468638c39067b9f887be760a3
tree7766001c93ec746bbe745f2b389b4db3c88a106a
parent2dc37f2894e16ec280d3f9a6292bf4e434eaaed8
usercolours changed
src/jalview/appletgui/Finder.java