Package | Description |
---|---|
oracle.ide.history |
Contains API classes for the local history feature.
|
Modifier and Type | Method and Description |
---|---|
static HistoryManager |
HistoryManager.getHistoryManager()
Get the HistoryManager instance.
|
Modifier and Type | Method and Description |
---|---|
static void |
HistoryManager.setHistoryManager(HistoryManager historyManager)
Set the HistoryManager instance.
|