mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-21 13:42:30 +02:00
533d62ce6c
This also removes the duplicated infra and releng code that is no longer needed in merged repo Change-Id: Ia5c52c7b087ed2612ed505c37ae00c9c6efe1f4f
38 lines
1.3 KiB
XML
38 lines
1.3 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<?eclipse version="3.4"?>
|
|
<plugin>
|
|
<extension
|
|
id="launchBarInjector"
|
|
point="org.eclipse.e4.workbench.model">
|
|
<processor
|
|
apply="always"
|
|
beforefragment="false"
|
|
class="org.eclipse.launchbar.ui.controls.internal.LaunchBarInjector">
|
|
</processor>
|
|
</extension>
|
|
<extension
|
|
point="org.eclipse.core.runtime.preferences">
|
|
<initializer
|
|
class="org.eclipse.launchbar.ui.controls.internal.LaunchBarPreferenceInitializer">
|
|
</initializer>
|
|
</extension>
|
|
<extension
|
|
point="org.eclipse.ui.preferencePages">
|
|
<page
|
|
category="org.eclipse.debug.ui.LaunchingPreferencePage"
|
|
class="org.eclipse.launchbar.ui.controls.internal.LaunchBarPreferencePage"
|
|
id="org.eclipse.launchbar.ui.prefPage"
|
|
name="Launch Bar">
|
|
</page>
|
|
</extension>
|
|
<extension
|
|
point="org.eclipse.ui.commands">
|
|
<command
|
|
categoryId="org.eclipse.launchbar.ui.category.launchBar"
|
|
defaultHandler="org.eclipse.launchbar.ui.controls.internal.OpenLaunchSelector"
|
|
id="org.eclipse.launchbar.ui.command.openLaunchSelector"
|
|
name="Open Launch Bar Config Selector">
|
|
</command>
|
|
</extension>
|
|
|
|
</plugin>
|