2013-07-15 10:36:54 -04:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<?eclipse version="3.2"?>
|
|
|
|
<plugin>
|
|
|
|
<extension-point id="remoteUIServices" name="Remote UI Services" schema="schema/remoteUIServices.exsd"/>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.remote.ui.remoteUIServices">
|
|
|
|
<remoteUIServices
|
2013-10-07 15:15:13 -04:00
|
|
|
class="org.eclipse.remote.internal.ui.services.local.LocalUIServicesFactory"
|
2013-09-11 11:29:06 -04:00
|
|
|
id="org.eclipse.remote.LocalServices"
|
2013-07-15 10:36:54 -04:00
|
|
|
name="Local">
|
|
|
|
</remoteUIServices>
|
|
|
|
</extension>
|
2013-09-11 11:29:06 -04:00
|
|
|
<extension
|
2013-07-15 10:36:54 -04:00
|
|
|
point="org.eclipse.ui.preferencePages">
|
|
|
|
<page
|
2013-10-07 15:15:13 -04:00
|
|
|
class="org.eclipse.remote.internal.ui.preferences.RemoteDevelopmentPreferencePage"
|
2013-07-15 10:36:54 -04:00
|
|
|
id="org.eclipse.remote.ui.RemoteDevelopmentPreferencePage"
|
|
|
|
name="%RemoteDevPrefPage.name">
|
|
|
|
</page>
|
2013-09-11 11:29:06 -04:00
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.preferencePages">
|
|
|
|
<page
|
|
|
|
category="org.eclipse.remote.ui.RemoteDevelopmentPreferencePage"
|
2013-10-07 15:15:13 -04:00
|
|
|
class="org.eclipse.remote.internal.ui.preferences.ConnectionsPreferencePage"
|
2013-09-11 11:29:06 -04:00
|
|
|
id="org.eclipse.remote.connections"
|
|
|
|
name="%ConnectionsPreferencePage.name">
|
|
|
|
</page>
|
|
|
|
</extension>
|
2013-10-10 10:09:44 -04:00
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.trace.traceComponents">
|
|
|
|
<component
|
2013-10-10 17:50:52 -04:00
|
|
|
id="org.eclipse.remote.core.component"
|
2013-10-10 10:09:44 -04:00
|
|
|
label="Remote Core">
|
|
|
|
<bundle
|
|
|
|
consumed="true"
|
|
|
|
name="org.eclipse.remote.core">
|
|
|
|
</bundle>
|
|
|
|
</component>
|
|
|
|
</extension>
|
2013-07-15 10:36:54 -04:00
|
|
|
|
|
|
|
</plugin>
|