Can be used for user features
authoramwaterhouse <Andrew Waterhouse>
Thu, 16 Mar 2006 15:14:09 +0000 (15:14 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 16 Mar 2006 15:14:09 +0000 (15:14 +0000)
commita4c90a2c3a3b977a542250e2cfdfb0d8b247d4aa
treec056618e76269b5ea37728781a9c147eaf1e91f3
parentdedbb25d7f54f28aaa36592be27c80487090e10d
Can be used for user features
src/jalview/appletgui/UserDefinedColours.java