|
||||||||||
| 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 | |||||||||