KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > columba > core > gui > base > UndoDocument


1 //The contents of this file are subject to the Mozilla Public License Version 1.1
2 //(the "License"); you may not use this file except in compliance with the
3 //License. You may obtain a copy of the License at http://www.mozilla.org/MPL/
4 //
5 //Software distributed under the License is distributed on an "AS IS" basis,
6 //WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
7 //for the specific language governing rights and
8 //limitations under the License.
9 //
10 //The Original Code is "The Columba Project"
11 //
12 //The Initial Developers of the Original Code are Frederik Dietz and Timo Stich.
13 //Portions created by Frederik Dietz and Timo Stich are Copyright (C) 2003.
14 //
15 //All Rights Reserved.
16 package org.columba.core.gui.base;
17
18 import javax.swing.text.DefaultStyledDocument JavaDoc;
19 import javax.swing.undo.UndoManager JavaDoc;
20
21
22 public class UndoDocument extends DefaultStyledDocument JavaDoc {
23     private UndoManager JavaDoc undoManager;
24
25     public UndoDocument() {
26         super();
27
28         undoManager = new UndoManager JavaDoc();
29         this.addUndoableEditListener(undoManager);
30     }
31
32     public void undo() {
33         if (undoManager.canUndo()) {
34             undoManager.undo();
35         }
36     }
37
38     public void redo() {
39         if (undoManager.canRedo()) {
40             undoManager.redo();
41         }
42     }
43     
44     public boolean canRedo() {
45         return undoManager.canRedo();
46     }
47     
48     public boolean canUndo() {
49         return undoManager.canUndo();
50     }
51 }
52
Popular Tags