|
Oracle Fusion Middleware Java API Reference for Oracle Extension SDK Reference 11g Release 1 (11.1.1.7.0) E13403-08 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HistoryManager | |
---|---|
oracle.ide.history | Contains API classes for the local history feature. |
Uses of HistoryManager in oracle.ide.history |
---|
Methods in oracle.ide.history that return HistoryManager | |
---|---|
static HistoryManager |
HistoryManager.getHistoryManager()
Get the HistoryManager instance. |
Methods in oracle.ide.history with parameters of type HistoryManager | |
---|---|
static void |
HistoryManager.setHistoryManager(HistoryManager historyManager)
Set the HistoryManager instance. |
|
Oracle Fusion Middleware Java API Reference for Oracle Extension SDK Reference 11g Release 1 (11.1.1.7.0) E13403-08 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |