| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| |
| <extension |
| point="org.eclipse.help.toc"> |
| <tocProvider |
| class="org.eclipse.linuxtools.internal.cdt.libhover.devhelp.DevHelpTocProvider"> |
| </tocProvider> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.linuxtools.cdt.libhover.preferences1" |
| class="org.eclipse.linuxtools.internal.cdt.libhover.devhelp.preferences.LibHoverPreferencePage" |
| id="org.eclipse.linuxtools.cdt.libhover.devhelp.page1" |
| name="%Preferences.name"> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="org.eclipse.linuxtools.internal.cdt.libhover.devhelp.preferences.PreferenceInitializer"> |
| </initializer> |
| </extension> |
| <extension |
| id="id1" |
| name="name" |
| point="org.eclipse.linuxtools.cdt.libhover.library"> |
| <library |
| location="/dev/null" |
| name="devhelp" |
| type="C"> |
| </library> |
| </extension> |
| <extension |
| point="org.eclipse.help.contentProducer"> |
| <contentProducer |
| producer="org.eclipse.linuxtools.internal.cdt.libhover.devhelp.DevHelpContentProducer"> |
| </contentProducer> |
| </extension> |
| <extension |
| point="org.eclipse.ui.startup"> |
| <startup |
| class="org.eclipse.linuxtools.internal.cdt.libhover.devhelp.DevHelpStartup"> |
| </startup> |
| </extension> |
| </plugin> |