diff options
Diffstat (limited to 'org.eclipse.ui.genericeditor/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.genericeditor/plugin.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.ui.genericeditor/plugin.xml b/org.eclipse.ui.genericeditor/plugin.xml index 060b9a6d418..06b6de70d1c 100644 --- a/org.eclipse.ui.genericeditor/plugin.xml +++ b/org.eclipse.ui.genericeditor/plugin.xml @@ -74,7 +74,14 @@ <extension point="org.eclipse.ui.genericeditor.hoverProviders"> <hoverProvider + isBefore="*" + class="org.eclipse.ui.internal.genericeditor.markers.MarkerAnnotationHover" + contentType="org.eclipse.core.runtime.text" + id="org.eclipse.ui.genericeditor.markers.annotationsHoverProvider"> + </hoverProvider> + <hoverProvider isBefore="*" + isAfter="org.eclipse.ui.genericeditor.markers.annotationsHoverProvider" class="org.eclipse.ui.internal.genericeditor.AnnotationHoverDelegate" contentType="org.eclipse.core.runtime.text" id="org.eclipse.ui.genericeditor.annotationsHoverProvider"> |