<?xml version="1.0"?> | |
<!-- ========================================================== --> | |
<!-- This is a Default implementation of the Eclipse Workbench --> | |
<!-- Help System. It uses the extension points defined by --> | |
<!-- the base help system (id="org.eclipse.help"). --> | |
<!-- ========================================================== --> | |
<plugin | |
name = "%help_system_plugin_name" | |
id = "org.eclipse.help.ui" | |
version = "0.9" | |
provider-name = "International Business Machines Corp." | |
class="org.eclipse.help.internal.ui.WorkbenchHelpPlugin"> | |
<requires> | |
<import plugin="org.eclipse.core.runtime"/> | |
<import plugin="org.eclipse.ui"/> | |
<import plugin="org.eclipse.help"/> | |
<import plugin="org.apache.xerces"/> | |
<import plugin="org.eclipse.core.resources"/> | |
</requires> | |
<runtime> | |
<library name="helpworkbench.jar"> | |
<export name="org.eclipse.help.workbench.*"/> | |
</library> | |
</runtime> | |
<!-- ========================================================================== --> | |
<!-- Internal configuration for this plugin --> | |
<!-- ========================================================================== --> | |
<!-- The Help System --> | |
<!-- ================ --> | |
<extension point="org.eclipse.help.support"> | |
<config class="org.eclipse.help.internal.ui.DefaultHelp"/> | |
</extension> | |
<!-- The Help System View --> | |
<!-- ===================== --> | |
<extension point="org.eclipse.ui.views"> | |
<category | |
id="org.eclipse.help" | |
name="%help"> | |
</category> | |
<view | |
id="org.eclipse.help.internal.ui.EmbeddedHelpView" | |
name="%help_view" | |
icon="icons/view.gif" | |
category="org.eclipse.help" | |
class="org.eclipse.help.internal.ui.EmbeddedHelpView"> | |
</view> | |
</extension> | |
<!-- The Help System Perspective --> | |
<!-- ============================ --> | |
<extension | |
point="org.eclipse.ui.perspectives"> | |
<perspective | |
id="org.eclipse.help.internal.ui.HelpPerspective" | |
name="%help_perspective" | |
icon="icons/help_persp.gif" | |
class="org.eclipse.help.internal.ui.HelpPerspective"> | |
</perspective> | |
</extension> | |
<!-- Help system preference page --> | |
<!-- =========================== --> | |
<extension | |
point = "org.eclipse.ui.preferencePages"> | |
<page id="org.eclipse.help.workbench.preferencePages.Page1" | |
class="org.eclipse.help.internal.ui.util.HelpPreferencePage" | |
name="%help_preferences_page_name"> | |
</page> | |
</extension> | |
<!-- Context Help contribution for this plugin --> | |
<!-- ========================================== --> | |
<extension point="org.eclipse.help.contexts"> | |
<contexts name="HelpContexts.xml"/> | |
</extension> | |
<!-- Define the help menu action set --> | |
<!-- =============================== --> | |
<extension point="org.eclipse.ui.actionSets"> | |
<actionSet | |
id="org.eclipse.help.internal.ui.HelpActionSet" | |
label="%help" | |
visible="true"> | |
<action id="org.eclipse.help.internal.ui.HelpAction" | |
menubarPath="help/helpEnd" | |
label="%helpcontents" | |
class="org.eclipse.help.internal.ui.ShowHelp"/> | |
</actionSet> | |
</extension> | |
</plugin> |