X-Git-Url: https://gitweb.fperrin.net/?p=GpsPrune.git;a=blobdiff_plain;f=tim%2Fprune%2Fgui%2FUndoManager.java;h=1b77fe151136ea8254f60622639a6823ec2c2bd9;hp=46a1c8d9de834f231b7a48f4607d33144665d2c5;hb=54b9d8bc8f0025ccf97a67d9dd217ef1f9cf082f;hpb=52bf9e8686c916be37a26a0b75340393d4478b05

diff --git a/tim/prune/gui/UndoManager.java b/tim/prune/gui/UndoManager.java
index 46a1c8d..1b77fe1 100644
--- a/tim/prune/gui/UndoManager.java
+++ b/tim/prune/gui/UndoManager.java
@@ -44,13 +44,13 @@ public class UndoManager
 		JPanel mainPanel = new JPanel();
 		mainPanel.setLayout(new BorderLayout(3, 3));
 		mainPanel.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
-		Stack undoStack = inApp.getUndoStack();
+		Stack<UndoOperation> undoStack = inApp.getUndoStack();
 		mainPanel.add(new JLabel(I18nManager.getText("dialog.undo.pretext")), BorderLayout.NORTH);
 
 		String[] undoActions = new String[undoStack.size()];
 		for (int i=0; i<undoStack.size(); i++)
 		{
-			undoActions[i] = ((UndoOperation) undoStack.elementAt(undoStack.size()-1-i)).getDescription();
+			undoActions[i] = undoStack.elementAt(undoStack.size()-1-i).getDescription();
 		}
 		_actionList = new JList(undoActions);
 		_actionList.setSelectionMode(ListSelectionModel.SINGLE_INTERVAL_SELECTION);
@@ -91,7 +91,7 @@ public class UndoManager
 		mainPanel.add(buttonPanel, BorderLayout.SOUTH);
 		_dialog.getContentPane().add(mainPanel);
 		_dialog.pack();
-		_dialog.show();
+		_dialog.setVisible(true);
 	}
 
 }