git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1693646
)
add history for cut and paste
author
amwaterhouse
<Andrew Waterhouse>
Tue, 22 Feb 2005 11:46:46 +0000
(11:46 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 22 Feb 2005 11:46:46 +0000
(11:46 +0000)
src/jalview/gui/AlignFrame.java
patch
|
blob
|
history
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
}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
\r
void updateEditMenuBar()
\r
{
\r
@@
-286,6
+286,7
@@
public class AlignFrame extends GAlignFrame
\r
protected void pasteThis_actionPerformed(ActionEvent e)
\r
{
\r
\r
protected void pasteThis_actionPerformed(ActionEvent e)
\r
{
\r
+ addHistoryItem("Paste");
\r
paste(false);
\r
}
\r
\r
paste(false);
\r
}
\r
\r
@@
-343,6
+344,7
@@
public class AlignFrame extends GAlignFrame
\r
protected void delete_actionPerformed(ActionEvent e)
\r
{
\r
\r
protected void delete_actionPerformed(ActionEvent e)
\r
{
\r
+ addHistoryItem("Delete");
\r
if (viewport.getRubberbandGroup() == null)
\r
return;
\r
\r
if (viewport.getRubberbandGroup() == null)
\r
return;
\r
\r