From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 22 Feb 2005 11:46:46 +0000 (+0000)
Subject: add history for cut and paste
X-Git-Tag: Release_2_0~641
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=9ee6d0820f9b6b253900b00da9b1531f9b40e057;p=jalview.git

add history for cut and paste
---

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;