|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DefinitionsEditorKit | |
---|---|
edu.rice.cs.drjava.model | The model package is responsible for the majority of the logic
and state in DrJava. |
edu.rice.cs.drjava.ui | The ui package contains classes for the default user interface
for DrJava. |
Uses of DefinitionsEditorKit in edu.rice.cs.drjava.model |
---|
Fields in edu.rice.cs.drjava.model declared as DefinitionsEditorKit | |
---|---|
protected DefinitionsEditorKit |
AbstractGlobalModel._editorKit
Factory for new definitions documents and views. |
Methods in edu.rice.cs.drjava.model that return DefinitionsEditorKit | |
---|---|
DefinitionsEditorKit |
GlobalModel.getEditorKit()
Fetches the EditorKit implementation for use in the definitions pane. |
DefinitionsEditorKit |
DummyGlobalModel.getEditorKit()
|
DefinitionsEditorKit |
AbstractGlobalModel.getEditorKit()
|
Uses of DefinitionsEditorKit in edu.rice.cs.drjava.ui |
---|
Methods in edu.rice.cs.drjava.ui with parameters of type DefinitionsEditorKit | |
---|---|
static void |
DefinitionsPane.setEditorKit(DefinitionsEditorKit editorKit)
Sets the editor kit that will be used by all DefinitionsPanes. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |