Check if usrCol is null
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 May 2005 09:33:12 +0000 (09:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 May 2005 09:33:12 +0000 (09:33 +0000)
commita35ccec335158616a10026952e0cefad8083fe62
tree03719c1a6c69ad7ee8597f0147964d4e0b9b436d
parente3df1068750c3ea9a41be896d7dda2c1fb2c2a51
Check if usrCol is null
src/jalview/gui/AlignViewport.java