Uses of Class
oracle.ide.editor.EditorsOptions

Packages that use EditorsOptions

Package	Description
oracle.ide.editor	Contains classes and interfaces that allow addins to add their own specialized editors to JDeveloper.

Uses of EditorsOptions in oracle.ide.editor

Methods in oracle.ide.editor that return EditorsOptions

Modifier and Type	Method and Description
static EditorsOptions	EditorsOptions.getInstance(PropertyStorage prefs)