diff options
-rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 8 |
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> |