Version 16, February 2014

[GpsPrune.git] / tim / prune / gui / UndoManager.java

diff --git a/tim/prune/gui/UndoManager.java b/tim/prune/gui/UndoManager.java
index 1b77fe151136ea8254f60622639a6823ec2c2bd9..48307c1a1f9cc54d107462a7a68f4008d9d938a4 100644 (file)
--- a/tim/prune/gui/UndoManager.java
+++ b/tim/prune/gui/UndoManager.java
@@ -28,7 +28,7 @@ public class UndoManager
 {
        private App _app;
        private JDialog _dialog;
-       private JList _actionList;
+       private JList<String> _actionList;
 
 
        /**
@@ -52,7 +52,7 @@ public class UndoManager
                {
                        undoActions[i] = undoStack.elementAt(undoStack.size()-1-i).getDescription();
                }
-               _actionList = new JList(undoActions);
+               _actionList = new JList<String>(undoActions);
                _actionList.setSelectionMode(ListSelectionModel.SINGLE_INTERVAL_SELECTION);
                _actionList.setSelectedIndex(0);
                _actionList.addListSelectionListener(new ListSelectionListener()