Option Page Plugin Extension
This extension type allows developers to add custom preference pages to the application
Preferences dialog box.
The extension must implement the
ro.sync.exml.plugin.option.OptionPagePluginExtension interface. The
provided callbacks allow the developer to create the custom Swing component that
will be added to the page and to react to various calls to persistently save the page
settings
using the OptionsStorage API.
All preferences pages that are contributed by a plugin appear listed in the
Preferences dialog box in the Plugins category. The
plugin.xml configuration file can specify one or more such extensions
using constructs like
this:
<extension type="OptionPage" class="my.pack.CustomOptionPagePluginExtension"/>