add history for cut and paste

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 21dcc09..22c48bc 100755 (executable)
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -147,8 +147,8 @@ public class AlignFrame extends GAlignFrame
     }catch(Exception ex){}\r
   }\r
 \r
-  ArrayList  historyList = new ArrayList();\r
-  ArrayList redoList = new ArrayList();\r
+  Stack historyList = new Stack();\r
+  Stack redoList = new Stack();\r
 \r
   void updateEditMenuBar()\r
   {\r
@@ -286,6 +286,7 @@ public class AlignFrame extends GAlignFrame
 \r
   protected void pasteThis_actionPerformed(ActionEvent e)\r
   {\r
+    addHistoryItem("Paste");\r
     paste(false);\r
   }\r
 \r
@@ -343,6 +344,7 @@ public class AlignFrame extends GAlignFrame
 \r
   protected void delete_actionPerformed(ActionEvent e)\r
   {\r
+    addHistoryItem("Delete");\r
     if (viewport.getRubberbandGroup() == null)\r
       return;\r
 \r