Sets USER_DEFINED_COLOUR as property
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Feb 2005 17:01:41 +0000 (17:01 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Feb 2005 17:01:41 +0000 (17:01 +0000)
commit3647f2e6c679ed5ef3e673f10a8d1afb2882014e
tree7844f1f55b13e843f34164aa3976313c625f56b8
parentf329f6c6243e76568e9f4a6a1588d06244d5da57
Sets USER_DEFINED_COLOUR as property
src/jalview/gui/UserDefinedColours.java