git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48b79dd) | patch
Null pointer if user presses shift before anything else
authoramwaterhouse <Andrew Waterhouse>
Tue, 20 Sep 2005 13:15:31 +0000 (13:15 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 20 Sep 2005 13:15:31 +0000 (13:15 +0000)
commit5ad6d650b6726eb880d8342d19711e626f6ae2f0
tree354d0a841dc1f3bd354ab9b3ba76afeb93ea5554tree | snapshot
parent48b79dd91c3d96b84a1a74aa0217c7c32c3107efcommit | diff
Null pointer if user presses shift before anything else
src/jalview/gui/UserDefinedColours.java diff | blob | history