equal
deleted
inserted
replaced
539 name="Carbide Extensions" |
539 name="Carbide Extensions" |
540 class="com.nokia.carbide.cpp.preferences.ExtensionsPreferencesPage" |
540 class="com.nokia.carbide.cpp.preferences.ExtensionsPreferencesPage" |
541 id="com.nokia.carbide.cpp.preferences.ExtensionsPreferencesPage"/> |
541 id="com.nokia.carbide.cpp.preferences.ExtensionsPreferencesPage"/> |
542 </extension> |
542 </extension> |
543 |
543 |
|
544 <extension |
|
545 point="org.eclipse.ui.propertyPages"> |
|
546 <page |
|
547 name="Carbide Extensions" |
|
548 class="com.nokia.carbide.cpp.preferences.ExtensionsPropertiesPage" |
|
549 id="com.nokia.carbide.cpp.preferences.ExtensionsPropertiesPage"> |
|
550 <filter |
|
551 name="nature" |
|
552 value="com.nokia.carbide.cdt.builder.carbideCPPBuilderNature"> |
|
553 </filter> |
|
554 <enabledWhen> |
|
555 <or> |
|
556 <instanceof value="org.eclipse.core.resources.IProject"/> |
|
557 <instanceof value="org.eclipse.cdt.core.model.ICProject"/> |
|
558 </or> |
|
559 </enabledWhen> |
|
560 </page> |
|
561 </extension> |
|
562 |
544 </plugin> |
563 </plugin> |