|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EditorTool | |
---|---|
org.meta_environment.eclipse.editors |
Uses of EditorTool in org.meta_environment.eclipse.editors |
---|
Fields in org.meta_environment.eclipse.editors declared as EditorTool | |
---|---|
private static EditorTool |
EditorTool.InstanceKeeper.sInstance
|
Methods in org.meta_environment.eclipse.editors that return EditorTool | |
---|---|
static EditorTool |
EditorTool.getInstance()
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |