public class RolledBackDocument
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
void |
closeDocument() |
void |
delete() |
void |
save(java.lang.String newPath)
Saves the Rolled back document instance using the specified path to disk.
|