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