UserColour gui modified
authoramwaterhouse <Andrew Waterhouse>
Tue, 30 Aug 2005 16:07:26 +0000 (16:07 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 30 Aug 2005 16:07:26 +0000 (16:07 +0000)
commit410d9890ee07332a70dbd72de8e828ce52f32179
tree053d8ff144531aaee2a054aa09c62bc2d46ee1d9
parentc6f74fc7b3c9bcf8571435e5f52169d72581af15
UserColour gui modified
src/jalview/appletgui/UserDefinedColours.java
src/jalview/jbappletgui/GUserDefinedColours.java