public class UndoHelper
extends java.lang.Object
Constructor and Description |
---|
UndoHelper(Project project,
Committable committable) |
Modifier and Type | Method and Description |
---|---|
void |
addWatchedDocument(Document document) |
Document[] |
getDocuments() |
boolean |
isShowing() |
void |
removeWatchedDocument(Document document) |
void |
setShowing(boolean showing) |
void |
startListeningDocuments() |
void |
stopListeningDocuments() |
public UndoHelper(Project project, Committable committable)
public final void startListeningDocuments()
public final void stopListeningDocuments()
public final void setShowing(boolean showing)
public boolean isShowing()
public final void addWatchedDocument(Document document)
public final void removeWatchedDocument(Document document)
public final Document[] getDocuments()