equal
deleted
inserted
replaced
68 </extension> |
68 </extension> |
69 |
69 |
70 <extension |
70 <extension |
71 point="org.eclipse.ui.preferencePages"> |
71 point="org.eclipse.ui.preferencePages"> |
72 <page |
72 <page |
73 name="Creator Script Editor Preferences" |
73 name="Creator Script Editor" |
74 class="com.nokia.s60tools.creator.preferences.CreatorPreferencePage" |
74 class="com.nokia.s60tools.creator.preferences.CreatorPreferencePage" |
75 category="com.nokia.carbide.cpp.preferences.ExtensionsPreferencesPage" |
75 category="com.nokia.carbide.cpp.preferences.ExtensionsPreferencesPage" |
76 id="com.nokia.s60tools.creator.preferences.CreatorPreferencePage"> |
76 id="com.nokia.s60tools.creator.preferences.CreatorPreferencePage"> |
|
77 <keywordReference |
|
78 id="com.nokia.s60tools.creator.keywords.common"> |
|
79 </keywordReference> |
77 </page> |
80 </page> |
78 </extension> |
81 </extension> |
79 |
82 <extension |
|
83 point="org.eclipse.ui.keywords"> |
|
84 <keyword |
|
85 id="com.nokia.s60tools.creator.keywords.common" |
|
86 label="%creatorKeywords.common"> |
|
87 </keyword> |
|
88 </extension> |
80 </plugin> |
89 </plugin> |