diff options
author | Matthias Becker | 2020-01-30 15:07:37 +0000 |
---|---|---|
committer | Matthias Becker | 2020-01-30 15:07:37 +0000 |
commit | 8c462cbe1b0bb1b55e3736ec58f92919d4d784a1 (patch) | |
tree | 99af6c9ccdc20daa7eab0047cd4d32c5ba40855a | |
parent | b56d759a9d202613640c694f37e30257dde441de (diff) | |
download | eclipse.platform.text-8c462cbe1b0bb1b55e3736ec58f92919d4d784a1.tar.gz eclipse.platform.text-8c462cbe1b0bb1b55e3736ec58f92919d4d784a1.tar.xz eclipse.platform.text-8c462cbe1b0bb1b55e3736ec58f92919d4d784a1.zip |
Bug 559714: No enabledWhen necessary for AnnotationCodeMiningProviderY20200204-0035I20200209-1800I20200208-1800I20200207-1800I20200206-1805I20200205-1800I20200205-0030I20200204-1800I20200203-1800I20200202-1800I20200201-1800I20200131-1800
Change-Id: Ic4278ffbdc1010c9cbac64f5223df0e4437cee77
-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> |