Uses of Class
oracle.jdeveloper.history.HistoryManager

Packages that use HistoryManager

Package	Description
oracle.jdeveloper.history

Uses of HistoryManager in oracle.jdeveloper.history

Methods in oracle.jdeveloper.history that return HistoryManager

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