git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0201d2b) | patch
if shift down bug fixed
authoramwaterhouse <Andrew Waterhouse>
Wed, 15 Feb 2006 15:23:26 +0000 (15:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 15 Feb 2006 15:23:26 +0000 (15:23 +0000)
commit1bb65850f64215ce1ccfe4dcf79da533723db2b3
treed6b155f0b870b4c9833ec282b75e88e5f2a8d337tree | snapshot
parent0201d2b630e06a75fd9522f24863e9cecf8810fdcommit | diff
if shift down bug fixed
src/jalview/gui/UserDefinedColours.java diff | blob | history