/*
This file is part of RouteConverter.
RouteConverter is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
RouteConverter is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with RouteConverter; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
Copyright (C) 2007 Christian Pesch. All Rights Reserved.
*/
package slash.navigation.gui.undo;
import slash.navigation.gui.Application;
import javax.swing.event.ChangeListener;
import javax.swing.event.EventListenerList;
import javax.swing.undo.UndoableEdit;
import java.util.prefs.Preferences;
/**
* Manages the {@link UndoAction} and {@link RedoAction} of an {@link Application}.
*
* @author Christian Pesch
*/
public class UndoManager {
private static final Preferences preferences = Preferences.userNodeForPackage(UndoManager.class);
private final javax.swing.undo.UndoManager delegate = new javax.swing.undo.UndoManager();
private final EventListenerList listenerList = new EventListenerList();
public UndoManager() {
delegate.setLimit(preferences.getInt("undoLimit", -1));
}
public boolean canUndo() {
return delegate.canUndo();
}
public boolean canRedo() {
return delegate.canRedo();
}
public String getUndoPresentationName() {
return delegate.getUndoPresentationName();
}
public String getRedoPresentationName() {
return delegate.getRedoPresentationName();
}
public void undo() {
delegate.undo();
fireChanged();
}
public void redo() {
delegate.redo();
fireChanged();
}
public void addEdit(UndoableEdit undoableEdit) {
delegate.addEdit(undoableEdit);
fireChanged();
}
public void discardAllEdits() {
delegate.discardAllEdits();
fireChanged();
}
protected void fireChanged() {
Object[] listeners = listenerList.getListenerList();
for (int i = listeners.length - 2; i >= 0; i -= 2) {
if (listeners[i] == ChangeListener.class) {
((ChangeListener) listeners[i + 1]).stateChanged(null);
}
}
}
public void addChangeListener(ChangeListener l) {
listenerList.add(ChangeListener.class, l);
}
}