| plugin.xml properties [message #316644] |
Thu, 14 June 2007 08:54  |
Eclipse User |
|
|
|
I need to add a properties tag to the following plugin.xml. I could find
"general" instructions, but they don't seem to work on this case, because
neither <extension> nor <toc> accept <properties>. Suggestions?
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
<extension point="org.eclipse.help.toc">
<toc file="myToc.xml" primary="true" />
</extension>>
</plugin>
The specific property I am trying to set is:
<property name="preferenceCustomization" value="plugin_customization.ini"/>
where I want to set org.eclipse.help/baseTOCS. This way when we roll out
Eclipse in our company, our internal help "book" will be at the top of the
list.
Thanks,
Bruno
|
|
|
|
| Re: plugin.xml properties [message #316672 is a reply to message #316652] |
Thu, 14 June 2007 10:46  |
| Eclipse User |
|
|
|
Yes, I saw it in the <product> definition. The problem is that being a
pure help plugin, there is no product. Or rather, the product probably is
org.eclipse.help, and I'm of course trying not to mess with it.
My original solution was similar to what you describe, and it worked like
a charm - I changed the preferences.ini of org.eclipse.help. But the
problem with this approach is that by modifying a standard package, it
becomes vulnerable to being "undone" the next org.eclipse.help patch
received via the update site.
I am getting the impression that the problem is that Eclipse does not
support "pure help" plugins all that well.
Would the correct next step be to submit an enhancement request... to make
<toc> or <extension> accept a nested <properties> tags?
|
|
|
Powered by
FUDForum. Page generated in 0.02418 seconds
Home