cdt/launchbar/org.eclipse.launchbar.ui.controls/plugin.xml at main - mirrors/cdt - Incest Forge: Beyond sex. We incest.

mirrors/cdt

mirror of https://github.com/eclipse-cdt/cdt synced 2024-10-28 03:59:40 +01:00

Jonah Graham 533d62ce6c Bug 558439: Move launchbar plug-ins into its own folder

This also removes the duplicated infra and releng code that is no longer
needed in merged repo

Change-Id: Ia5c52c7b087ed2612ed505c37ae00c9c6efe1f4f

2019-12-18 13:41:51 -05:00

38 lines

1.3 KiB

XML

Raw Permalink Blame History

 <?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>