usercolours changed
authoramwaterhouse <Andrew Waterhouse>
Wed, 25 May 2005 16:40:13 +0000 (16:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 25 May 2005 16:40:13 +0000 (16:40 +0000)
commit7d0ee5869e28d0cdde911336e9bbe290b143f0bc
tree699a6ac280b760fdbf661ffe6c9eedeb96cb302d
parent9ec724cefe52ca1e3fa72d726557b0108a4b043a
usercolours changed
src/jalview/gui/AlignFrame.java
src/jalview/gui/AlignViewport.java
src/jalview/gui/Finder.java
src/jalview/gui/UserDefinedColours.java