public class SnapshotHistoryService extends Object
Modifier and Type | Class and Description |
---|---|
static class |
SnapshotHistoryService.Entry |
static interface |
SnapshotHistoryService.IChangeListener |
Modifier and Type | Method and Description |
---|---|
void |
addChangeListener(SnapshotHistoryService.IChangeListener listener) |
void |
addVisitedPath(String editorId,
String path) |
void |
addVisitedPath(String editorId,
String path,
Serializable info) |
static SnapshotHistoryService |
getInstance() |
List<SnapshotHistoryService.Entry> |
getVisitedEntries() |
void |
removeChangeListener(SnapshotHistoryService.IChangeListener listener) |
void |
removePath(org.eclipse.core.runtime.IPath path) |
public static SnapshotHistoryService getInstance()
public void addVisitedPath(String editorId, String path, Serializable info)
public void removePath(org.eclipse.core.runtime.IPath path)
public List<SnapshotHistoryService.Entry> getVisitedEntries()
public void addChangeListener(SnapshotHistoryService.IChangeListener listener)
public void removeChangeListener(SnapshotHistoryService.IChangeListener listener)