From: jprocter Date: Fri, 27 Apr 2007 08:51:13 +0000 (+0000) Subject: bugfix for deleted annotation undo X-Git-Tag: Release_2_3~147 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=26008266f6082cdb45f6ddc0588ca9eb8e740227;p=jalview.git bugfix for deleted annotation undo --- diff --git a/src/jalview/commands/EditCommand.java b/src/jalview/commands/EditCommand.java index ce88127..cbcc700 100644 --- a/src/jalview/commands/EditCommand.java +++ b/src/jalview/commands/EditCommand.java @@ -577,7 +577,7 @@ public class EditCommand 0, temp, 0, copylen); //command.position); Annotation[] deleted = new Annotation[command.number]; - if (copylen>command.position) { + if (copylen>=command.position) { copylen = Math.min(command.number, annotations[a].annotations.length-command.position); if (copylen>0) {