01: /*
02: * Copyright (c) 2000, Jacob Smullyan.
03: *
04: * This is part of SkunkDAV, a WebDAV client. See http://skunkdav.sourceforge.net/
05: * for the latest version.
06: *
07: * SkunkDAV is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License as published
09: * by the Free Software Foundation; either version 2, or (at your option)
10: * any later version.
11: *
12: * SkunkDAV is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15: * General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public License
18: * along with SkunkDAV; see the file COPYING. If not, write to the Free
19: * Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20: * 02111-1307, USA.
21: */
22:
23: package org.skunk.dav.client.gui.editor.action;
24:
25: import java.awt.Toolkit;
26: import java.awt.event.ActionEvent;
27: import javax.swing.AbstractAction;
28: import javax.swing.undo.CannotUndoException;
29: import org.skunk.dav.client.gui.Buffer;
30: import org.skunk.dav.client.gui.ExplorerApp;
31: import org.skunk.dav.client.gui.editor.DAVEditor;
32: import org.skunk.trace.Debug;
33:
34: public class UndoAction extends AbstractAction {
35: public void actionPerformed(ActionEvent ae) {
36: Buffer b = ExplorerApp.getAppContext().getCurrentView()
37: .getFocussedBuffer();
38: if (b instanceof DAVEditor)
39: try {
40: ((DAVEditor) b).getUndoManager().undo();
41: } catch (CannotUndoException spilledMilk) {
42: Debug.trace(this, Debug.DP3, spilledMilk);
43: Toolkit.getDefaultToolkit().beep();
44: }
45: }
46: }
|