Maintain numbering if remove left is undone
authoramwaterhouse <Andrew Waterhouse>
Thu, 11 May 2006 14:06:16 +0000 (14:06 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 11 May 2006 14:06:16 +0000 (14:06 +0000)
commit5e7f56e027b1fa1846cbd6589c7f11af1f983a40
tree438823be14384b625293584e9df5f2c737f10a7b
parent60ba5da3aa84fe3a8e82dc0b4d9c847594eedc31
Maintain numbering if remove left is undone
src/jalview/datamodel/HistoryItem.java