seals selection box if at bottom of alignment
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 16:57:57 +0000 (16:57 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 16:57:57 +0000 (16:57 +0000)
commitb7172420ab674c14e744ff085a4c4e689d7de095
tree268598231a2faa127ae3a5de882a71f22f4c9736
parent7fec702aa740923869b87bafeec45e6f56e8b830
seals selection box if at bottom of alignment
src/jalview/gui/SeqPanel.java