Uses of Class
oracle.ide.history.HistoryManager

Packages that use HistoryManager

Package	Description
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

Modifier and Type	Method and Description
static HistoryManager	HistoryManager.getHistoryManager() Get the HistoryManager instance.

Methods in oracle.ide.history with parameters of type HistoryManager

Modifier and Type	Method and Description
static void	HistoryManager.setHistoryManager(HistoryManager historyManager) Set the HistoryManager instance.