[platform-help-dev] customization

[Robert Turek <turekr@xxxxxxxxxx>]

What's the relationship between  a plugin_customization.ini
file in the plugin for a default feature and the preferences.ini
in org.eclipse.help_xxxx?  I seem to be able to set some things
in the plugin_customization.ini (like the banner attribute) but
others don't seem to work there (like the baseTOCS attribute).

Should setting in the plugin_customization.ini override those set
in the preferences.ini?

____________________________________  The Bobster