The settings-ui-hook is used to integrate settings UI into the product.
Represents a top level dialog that can host settings UI pages.
Represents one settings page. Each settings page must have an
id, a parent-refid (which identifies where this page belongs), a
label and a traversable-class (used to control and render the UI
of the page).
The label of the page, as displayed to the user.
The fully qualified class name of an implementation of
oracle.ide.panels.Traversable.
Fields in this panel which can be customized by the
settings-customization hook. It's only necessary to
include fields here if they are shapeable.
A specific customizable field in this panel. The id
must be unique within the panel.
The identifier for the field. This must be
unique within the panel.
A unique identifier for this page. This must be unique
within the parent, but does not need to be globally unique.
The id of the parent. This should be a path to the parent of
this page, where each element in the path is a predefined id
(either of a dialog or a page).
Search tags for the page. A comma separated list of strings
that will match a search for this page in the UI.