Package | Description |
---|---|
oracle.ide.editor |
Contains classes and interfaces that allow addins to add their own specialized
editors to JDeveloper.
|
Modifier and Type | Method and Description |
---|---|
static EditorsOptions |
EditorsOptions.getInstance(PropertyStorage prefs) |