equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <?eclipse version="3.2"?> |
|
3 <plugin> |
|
4 |
|
5 <extension |
|
6 point="org.eclipse.ui.preferencePages"> |
|
7 <page |
|
8 name="%SDKUIPlugin.SDK_Preferences" |
|
9 class="com.nokia.carbide.cpp.internal.sdk.ui.SDKPreferencePage" |
|
10 category="com.nokia.carbide.cpp.project.ui.preferences.CarbidePreferencePage" |
|
11 id="com.nokia.carbide.cpp.sdk.ui.preferences.SDKPreferencePage"> |
|
12 </page> |
|
13 <page |
|
14 name="%SDKUIPlugin.Platform_Filtering_Preferences" |
|
15 class="com.nokia.carbide.cpp.internal.api.sdk.ui.BuildPlatformFilterPage" |
|
16 category="com.nokia.carbide.cpp.project.ui.preferences.CarbidePreferencePage" |
|
17 id="com.nokia.carbide.cpp.sdk.ui.preferences.BuildPlatformFilterPage"> |
|
18 </page> |
|
19 </extension> |
|
20 <extension |
|
21 point="org.eclipse.core.runtime.preferences"> |
|
22 <initializer |
|
23 class="com.nokia.carbide.cpp.internal.sdk.ui.SDKUIPreferenceInitializer"> |
|
24 </initializer> |
|
25 </extension> |
|
26 <extension |
|
27 point="org.eclipse.ui.startup"> |
|
28 </extension> |
|
29 |
|
30 |
|
31 </plugin> |