KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > UndoManager


1 /*
2  * UndoManager.java
3  *
4  * Copyright (C) 2002-2003 Peter Graves
5  * $Id: UndoManager.java,v 1.3 2003/08/01 16:06:16 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program 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
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */
21
22 package org.armedbear.j;
23
24 import javax.swing.undo.CompoundEdit JavaDoc;
25 import javax.swing.undo.UndoableEdit JavaDoc;
26
27 public final class UndoManager extends javax.swing.undo.UndoManager JavaDoc
28 {
29     public synchronized void undo()
30     {
31         UndoableEdit JavaDoc edit = editToBeUndone();
32         super.undo();
33         if (edit instanceof UndoBoundary)
34             super.undo();
35     }
36
37     public synchronized void redo()
38     {
39         UndoableEdit JavaDoc edit = editToBeRedone();
40         super.redo();
41         if (edit instanceof UndoBoundary)
42             super.redo();
43     }
44
45     public void appendUndoFold(Editor editor)
46     {
47         if (edits.size() > 0) {
48             UndoFold undoFold = new UndoFold(editor);
49             UndoableEdit JavaDoc lastEdit = (UndoableEdit JavaDoc) edits.remove(edits.size()-1);
50             CompoundEdit JavaDoc compoundEdit = new CompoundEdit JavaDoc();
51             compoundEdit.addEdit(lastEdit);
52             compoundEdit.addEdit(undoFold);
53             compoundEdit.end();
54             edits.add(compoundEdit);
55         }
56     }
57 }
58
Popular Tags