|
Oracle Fusion Middleware Java API Reference for Oracle Extension SDK Reference 11g Release 1 (11.1.1.5.0) E13403-06 |
|||||||||
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.5.0) E13403-06 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |