diff options
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index 1edf63292..cc4828d69 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -1063,4 +1063,24 @@ </extension> + <extension + point="org.eclipse.ui.workbench.texteditor.codeMiningProviders"> + <codeMiningProvider + class="org.eclipse.ui.internal.editors.text.codemining.annotation.AnnotationCodeMiningProvider" + id="org.eclipse.ui.internal.editors.annotationCodeMiningProvider"> + <enabledWhen> + <with + variable="editorInput"> + <adapt + type="org.eclipse.core.resources.IFile"> + <test + property="org.eclipse.core.resources.contentTypeId" + value="org.eclipse.core.runtime.text" + args="kindOf"> + </test> + </adapt> + </with> + </enabledWhen> + </codeMiningProvider> + </extension> </plugin> |