}\r
}\r
\r
-\r
// This has to be done before the restoreHistoryItem method of alignFrame will\r
// actually restore these sequences.\r
if (del.size() > 0)\r
ap.av.alignment.deleteSequence( deleted[i] );\r
PaintRefresher.Refresh(this,\r
ap.av.getSequenceSetId(),\r
- deleted[i], null);\r
+ true,\r
+ true);\r
if (sg != null)\r
{\r
sg.deleteSequence(deleted[i], false);\r
\r
historyList.push(cut);\r
\r
+ ap.alignFrame.addHistoryItem(cut);\r
+\r
ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());\r
}\r
\r
CommandI command = (CommandI) historyList.pop();\r
command.undoCommand();\r
\r
+ if (ap.av.historyList.contains(command))\r
+ {\r
+ ap.av.historyList.remove(command);\r
+ af.updateEditMenuBar();\r
+ }\r
+\r
ap.repaint();\r
\r
if (historyList.size() == 0)\r