Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias Becker2020-01-30 15:07:37 +0000
committerMatthias Becker2020-01-30 15:07:37 +0000
commit8c462cbe1b0bb1b55e3736ec58f92919d4d784a1 (patch)
tree99af6c9ccdc20daa7eab0047cd4d32c5ba40855a /org.eclipse.ui.editors/plugin.xml
parentb56d759a9d202613640c694f37e30257dde441de (diff)
downloadeclipse.platform.text-8c462cbe1b0bb1b55e3736ec58f92919d4d784a1.tar.gz
eclipse.platform.text-8c462cbe1b0bb1b55e3736ec58f92919d4d784a1.tar.xz
eclipse.platform.text-8c462cbe1b0bb1b55e3736ec58f92919d4d784a1.zip
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
-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 4707edec537..b0ab6be33f9 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