Uses of Class
edu.rice.cs.util.swing.HighlightManager

Packages that use HighlightManager

edu.rice.cs.drjava.ui

The ui package contains classes for the default user interface for DrJava.

Uses of HighlightManager in edu.rice.cs.drjava.ui

Fields in edu.rice.cs.drjava.ui declared as HighlightManager

protected HighlightManager

AbstractDJPane._highlightManager

Methods in edu.rice.cs.drjava.ui that return HighlightManager

HighlightManager

DefinitionsPane.getHighlightManager() Access to the pane's HighlightManager