diff options
Diffstat (limited to 'org.eclipse.jdt.apt.ui/plugin.xml')
-rw-r--r-- | org.eclipse.jdt.apt.ui/plugin.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.jdt.apt.ui/plugin.xml b/org.eclipse.jdt.apt.ui/plugin.xml index f3f10e4d2a..1f9a26e11d 100644 --- a/org.eclipse.jdt.apt.ui/plugin.xml +++ b/org.eclipse.jdt.apt.ui/plugin.xml @@ -42,6 +42,8 @@ <test property="org.eclipse.core.resources.projectNature" value="org.eclipse.jdt.core.javanature"/> </adapt> </enabledWhen> + <keywordReference + id="org.eclipse.jdt.apt.ui.propertyPages.aptPreferences.keyword"></keywordReference> </page> <page category="org.eclipse.jdt.apt.ui.propertyPages.aptPreferences" @@ -65,6 +67,13 @@ <markerTypeReference id="org.eclipse.jdt.apt.pluggable.core.compileProblem"/> </markerTypeCategory> </extension> + <extension + point="org.eclipse.ui.keywords"> + <keyword + id="org.eclipse.jdt.apt.ui.propertyPages.aptPreferences.keyword" + label="%preferenceKeywords.annotation.processing"> + </keyword> + </extension> </plugin> |