01: //The contents of this file are subject to the Mozilla Public License Version 1.1
02: //(the "License"); you may not use this file except in compliance with the
03: //License. You may obtain a copy of the License at http://www.mozilla.org/MPL/
04: //
05: //Software distributed under the License is distributed on an "AS IS" basis,
06: //WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
07: //for the specific language governing rights and
08: //limitations under the License.
09: //
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;
19: import javax.swing.undo.UndoManager;
20:
21: public class UndoDocument extends DefaultStyledDocument {
22: private UndoManager undoManager;
23:
24: public UndoDocument() {
25: super ();
26:
27: undoManager = new UndoManager();
28: this .addUndoableEditListener(undoManager);
29: }
30:
31: public void undo() {
32: if (undoManager.canUndo()) {
33: undoManager.undo();
34: }
35: }
36:
37: public void redo() {
38: if (undoManager.canRedo()) {
39: undoManager.redo();
40: }
41: }
42:
43: public boolean canRedo() {
44: return undoManager.canRedo();
45: }
46:
47: public boolean canUndo() {
48: return undoManager.canUndo();
49: }
50: }
|