| 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() |