From ce2015a225cb693e8a5d992fa6bf0ab86be5b421 Mon Sep 17 00:00:00 2001
From: tcarver <tjc>
Date: Wed, 6 Jun 2012 16:43:28 +0100
Subject: [PATCH] update undo / redo
---
uk/ac/sanger/artemis/ActionController.java | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/uk/ac/sanger/artemis/ActionController.java b/uk/ac/sanger/artemis/ActionController.java
index 801373d01..506f13b77 100644
--- a/uk/ac/sanger/artemis/ActionController.java
+++ b/uk/ac/sanger/artemis/ActionController.java
@@ -60,8 +60,8 @@ public class ActionController
private ActionVector undo_action_vector = new ActionVector ();
private ActionVector redo_action_vector = new ActionVector ();
- private List undo;
- private List redo;
+ private List<JMenuItem> undo;
+ private List<JMenuItem> redo;
/**
* Note the start of an action. Create a new Action and add all
@@ -203,7 +203,7 @@ public class ActionController
final Action temp_current_action = current_action;
- // discard the in-progress Action (if any) and throw an eception below
+ // discard the in-progress Action (if any) and throw an exception below
current_action = null;
try
@@ -357,7 +357,7 @@ public class ActionController
public void addUndoMenu(final JMenuItem undo_item)
{
if(undo == null)
- undo = new Vector();
+ undo = new Vector<JMenuItem>();
undo.add(undo_item);
setEnabledMenuItems();
}
@@ -365,7 +365,7 @@ public class ActionController
public void addRedoMenu(final JMenuItem redo_item)
{
if(redo == null)
- redo = new Vector();
+ redo = new Vector<JMenuItem>();
redo.add(redo_item);
setEnabledMenuItems();
}
--
GitLab