Uses of Class
edu.rice.cs.drjava.ui.DefinitionsPane

Packages that use DefinitionsPane

edu.rice.cs.drjava.ui

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

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

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

protected DefinitionsPane

LineEnumRule._pane DefinitionsPane that this rule is displayed for

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

DefinitionsPane	MainFrame.getCurrentDefPane() Returns the current DefinitionsPane.
DefinitionsPane	MainFrame.getDefPaneGivenODD(OpenDefinitionsDocument doc)

Methods in edu.rice.cs.drjava.ui that return types with arguments of type DefinitionsPane

List<FinalizationListener<DefinitionsPane>>

DefinitionsPane.getFinalizationListeners()

Method parameters in edu.rice.cs.drjava.ui with type arguments of type DefinitionsPane

void	DefinitionsPane.addFinalizationListener(FinalizationListener<DefinitionsPane> fl) Registers a finalization listener with the specific instance of the ddoc.

Constructors in edu.rice.cs.drjava.ui with parameters of type DefinitionsPane

ErrorCaretListener(OpenDefinitionsDocument doc, DefinitionsPane defPane, MainFrame frame)
Constructs a new caret listener to highlight errors.

LineEnumRule(DefinitionsPane p)
Create a new component to display line numbers along the left of the definitions pane.