Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
-rw-r--r--org.eclipse.ui.editors/plugin.xml20
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>

Back to the top