equal
deleted
inserted
replaced
3 <plugin> |
3 <plugin> |
4 <extension-point id="connectionType" name="Connection Type" schema="schema/connectionType.exsd"/> |
4 <extension-point id="connectionType" name="Connection Type" schema="schema/connectionType.exsd"/> |
5 <extension-point id="service" name="Service" schema="schema/service.exsd"/> |
5 <extension-point id="service" name="Service" schema="schema/service.exsd"/> |
6 <extension-point id="extensionFilter" name="Extension Filter" schema="schema/extensionFilter.exsd"/> |
6 <extension-point id="extensionFilter" name="Extension Filter" schema="schema/extensionFilter.exsd"/> |
7 <extension-point id="connectedServiceFactory" name="Connected Service Factory" schema="schema/connectedServiceFactory.exsd"/> |
7 <extension-point id="connectedServiceFactory" name="Connected Service Factory" schema="schema/connectedServiceFactory.exsd"/> |
|
8 <extension-point id="deviceDiscoveryAgent" name="Device Discovery Agent" schema="schema/deviceDiscoveryAgent.exsd"/> |
8 |
9 |
9 <extension |
10 <extension |
10 point="org.eclipse.ui.views"> |
11 point="org.eclipse.ui.views"> |
11 <view |
12 <view |
12 name="%ViewName" |
13 name="%ViewName" |