ForegroundColor is darker.darker.darker
authoramwaterhouse <Andrew Waterhouse>
Fri, 21 Jan 2005 18:32:14 +0000 (18:32 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 21 Jan 2005 18:32:14 +0000 (18:32 +0000)
commit21e2a80f7db56c011481d65d5bcb458654226e20
treed74b46f639709126a5b143244ae0273771520a2e
parent833d51dab7947d82ffe5a826f6282cce358a4d57
ForegroundColor is darker.darker.darker
src/jalview/gui/UserDefinedColours.java