Uses of Class
edu.rice.cs.drjava.model.BrowserHistoryManager

Packages that use BrowserHistoryManager

edu.rice.cs.drjava.model

The model package is responsible for the majority of the logic and state in DrJava.

Uses of BrowserHistoryManager in edu.rice.cs.drjava.model

Fields in edu.rice.cs.drjava.model declared as BrowserHistoryManager

protected BrowserHistoryManager

AbstractGlobalModel._browserHistoryManager Manager for browser history regions.

Methods in edu.rice.cs.drjava.model that return BrowserHistoryManager

BrowserHistoryManager	GlobalModel.getBrowserHistoryManager()
BrowserHistoryManager	DummyGlobalModel.getBrowserHistoryManager()
BrowserHistoryManager	AbstractGlobalModel.getBrowserHistoryManager()