Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--org.eclipse.ui.editors/plugin.xml8
1 files changed, 0 insertions, 8 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml
index 4707edec5..b0ab6be33 100644
--- a/org.eclipse.ui.editors/plugin.xml
+++ b/org.eclipse.ui.editors/plugin.xml
@@ -1072,14 +1072,6 @@
<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">
- </adapt>
- </with>
- </enabledWhen>
</codeMiningProvider>
</extension>
</plugin>

Back to the top