From 9ee6d0820f9b6b253900b00da9b1531f9b40e057 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 22 Feb 2005 11:46:46 +0000
Subject: [PATCH] add history for cut and paste

---
 src/jalview/gui/AlignFrame.java |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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