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

Packages that use GlobalEventNotifier

edu.rice.cs.drjava.model	The model package is responsible for the majority of the logic and state in DrJava.
edu.rice.cs.drjava.model.definitions	Provides the data model for storing Java source code.

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

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

protected GlobalEventNotifier	EventNotifierTest._notifier
GlobalEventNotifier	AbstractGlobalModel._notifier Keeps track of all listeners to the model, and has the ability to notify them of some event.

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

GlobalEventNotifier	GlobalModel.getNotifier()
GlobalEventNotifier	DummyGlobalModel.getNotifier()
GlobalEventNotifier	AbstractGlobalModel.getNotifier() Notifier list for the global model.

Methods in edu.rice.cs.drjava.model with parameters of type GlobalEventNotifier

void	BrowserHistoryManager.addBrowserRegion(BrowserDocumentRegion r, GlobalEventNotifier notifier) Add the supplied DocumentRegion r to the manager just above _current and set _current to refer to r.
BrowserDocumentRegion	BrowserHistoryManager.nextCurrentRegion(GlobalEventNotifier notifier) Make the region that is more recent the current region.
BrowserDocumentRegion	BrowserHistoryManager.prevCurrentRegion(GlobalEventNotifier notifier) Make the region that is less recent the current region.

Uses of GlobalEventNotifier in edu.rice.cs.drjava.model.definitions

Constructors in edu.rice.cs.drjava.model.definitions with parameters of type GlobalEventNotifier

CompoundUndoManager(GlobalEventNotifier notifier)
Standard constructor.

DefinitionsDocument(GlobalEventNotifier notifier)
Main constructor.

DefinitionsDocument(GlobalEventNotifier notifier, CompoundUndoManager undoManager)
Main constructor.

DefinitionsDocument(Indenter indenter, GlobalEventNotifier notifier)
Convenience constructor for using a custom indenter.

DefinitionsEditorKit(GlobalEventNotifier notifier)
Creates a new editor kit with the given listeners.