Tidy up group size after alignmentChanged
authoramwaterhouse <Andrew Waterhouse>
Tue, 7 Nov 2006 11:52:14 +0000 (11:52 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 7 Nov 2006 11:52:14 +0000 (11:52 +0000)
commitf5a39f4861d0f1ffdb3c5b542e00907b2cc18a73
treea89e5a8340bc686965e6db559a6837aa39f9462f
parent256f99fa9de8ee5a2f206163a6a55be69b35e00c
Tidy up group size after alignmentChanged
src/jalview/gui/AlignViewport.java