Package | Description |
---|---|
oracle.ide.config |
Contains classes encapsulating JDevelopers's environment settings.
|
Modifier and Type | Method and Description |
---|---|
ExtensionSettingsPage |
ExtensionSettingsUI.findPageByIdPath(java.lang.String idPath)
Find a page, given its id.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ExtensionSettingsPage> |
ExtensionSettingsUI.getChildren(java.lang.String parentIdPath)
Get all pages which are children of the specified id path, which
starts at a dialog.
|
java.util.Collection<ExtensionSettingsPage> |
ExtensionSettingsUI.getPages() |