|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use jtp.undo | |
| jtp.context.daml | Provides a DAML+OIL configuration and interface for JTP. |
| jtp.context.rdf | |
| jtp.ui | |
| jtp.undo | |
Classes in jtp.undo used by jtp.context.daml| Snapshot
|
Represents snapshots of JTP's state based on recorded undoable edits. |
|
Classes in jtp.undo used by jtp.context.rdf| Snapshot
|
Represents snapshots of JTP's state based on recorded undoable edits. SnapshotUndoManager
|
$RCSfile: SnapshotUndoManager.java,v $ Subclass of javax.swing.undo.UndoManager with added functionality that allows a user to roll back to a specific "snapshot". |
|
Classes in jtp.undo used by jtp.ui| Snapshot
|
Represents snapshots of JTP's state based on recorded undoable edits. |
|
Classes in jtp.undo used by jtp.undo| Snapshot
|
Represents snapshots of JTP's state based on recorded undoable edits. SnapshotUndoManager
|
$RCSfile: SnapshotUndoManager.java,v $ Subclass of javax.swing.undo.UndoManager with added functionality that allows a user to roll back to a specific "snapshot". |
|
|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||