|
Extension SDK 10.1.2 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EditorManager | |
oracle.ide.editor | Contains classes and interfaces that allow addins to add their own specialized editors to JDeveloper. |
Uses of EditorManager in oracle.ide.editor |
Methods in oracle.ide.editor that return EditorManager | |
static EditorManager |
EditorManager.getEditorManager()
Returns the EditorManager instance that is active in the IDE. |
Methods in oracle.ide.editor with parameters of type EditorManager | |
static void |
EditorManager.setEditorManager(EditorManager editorManager)
Publishes the specified EditorManager as the active instance in the IDE. |
|
Extension SDK | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Copyright © 1997, 2004, Oracle. All rights reserved.