Overview  Package   Class  Use  Deprecated  Index
Home >> All >> openfuture >> util >> [ misc overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

openfuture.util.misc
Class DocumentHistory  

java.lang.Object
  openfuture.util.misc.DocumentHistory

All Implemented Interfaces:

java.util.EventListener, java.io.Serializable, javax.swing.event.UndoableEditListener

---

public class DocumentHistory

extends java.lang.Object

implements java.io.Serializable, javax.swing.event.UndoableEditListener

History of a document.

Created: Tue Sep 25 19:05:25 2001

Version:

$Revision: 1.1 $

---

Field Summary
private  javax.swing.text.Document	document
private  javax.swing.undo.UndoManager	undo

 

Constructor Summary

DocumentHistory(javax.swing.text.Document doc)           Creates a new DocumentHistory instance.

 

Method Summary
javax.swing.text.Document	getDocument()           Get the value of document.
javax.swing.undo.UndoManager	getUndo()           Get the value of undo.
void	setDocument(javax.swing.text.Document v)           Set the value of document.
void	setUndo(javax.swing.undo.UndoManager v)           Set the value of undo.
void	undoableEditHappened(javax.swing.event.UndoableEditEvent e)           Adds the edit event to the undo manager 55 .

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

undo

private javax.swing.undo.UndoManager undo

---

document

private javax.swing.text.Document document

Constructor Detail

DocumentHistory

public DocumentHistory(javax.swing.text.Document doc)

Creates a new DocumentHistory instance.

Method Detail

undoableEditHappened

public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)

Adds the edit event to the undo manager 55 .

Specified by:

undoableEditHappened in interface javax.swing.event.UndoableEditListener

---

getUndo

public javax.swing.undo.UndoManager getUndo()

Get the value of undo.

---

setUndo

public void setUndo(javax.swing.undo.UndoManager v)

Set the value of undo.

---

getDocument

public javax.swing.text.Document getDocument()

Get the value of document.

---

setDocument

public void setDocument(javax.swing.text.Document v)

Set the value of document.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> openfuture >> util >> [ misc overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---