Undo cut from end of alignment, padding on
authoramwaterhouse <Andrew Waterhouse>
Tue, 21 Nov 2006 16:02:23 +0000 (16:02 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 21 Nov 2006 16:02:23 +0000 (16:02 +0000)
commit2c0ef17f9ede3abaa49b661fe5113412002378dd
tree491f7d2cb1f4826be1ef018fa2d5f30c3080fee6
parent16c9b6bb251d055244403ff998c8b5c0c0588ffb
Undo cut from end of alignment, padding on
src/jalview/commands/EditCommand.java