trimmed down
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Feb 2005 17:53:20 +0000 (17:53 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Feb 2005 17:53:20 +0000 (17:53 +0000)
commitee436fa42c0ac156c654f5a4967faf39ed2dcddc
tree2af125d8d7b628e17be661f3da1930d10cec7cef
parenta8bb0960ee2534ea27fd24586fdc0fb9a9a9715e
trimmed down
src/jalview/gui/AlignViewport.java