diff options
author | Mickael Istria | 2016-10-10 17:50:17 +0000 |
---|---|---|
committer | Mickael Istria | 2016-10-11 14:35:32 +0000 |
commit | d929f218362bd560d9a6e43bf62820b06a1dcf79 (patch) | |
tree | a81618379fd6e5e957bed3887cff6314a805ed79 /org.eclipse.ui.genericeditor/plugin.xml | |
parent | 659611f6d33c31e69fc91f4fb0ea5111bb2c74b7 (diff) | |
download | eclipse.platform.text-d929f218362bd560d9a6e43bf62820b06a1dcf79.tar.gz eclipse.platform.text-d929f218362bd560d9a6e43bf62820b06a1dcf79.tar.xz eclipse.platform.text-d929f218362bd560d9a6e43bf62820b06a1dcf79.zip |
Bug 496300 - Support contribution of multiple Hovers to Generic Editor
Multiple hovers are now supported. Contributors can control some sorting
using the isBefore and isAfter extension attributes.
Change-Id: I622fe6b5c541033ba6c3140e8ad7ceab759a57cb
Signed-off-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'org.eclipse.ui.genericeditor/plugin.xml')
-rw-r--r-- | org.eclipse.ui.genericeditor/plugin.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/org.eclipse.ui.genericeditor/plugin.xml b/org.eclipse.ui.genericeditor/plugin.xml index 8bfd208c741..e5a4ad57039 100644 --- a/org.eclipse.ui.genericeditor/plugin.xml +++ b/org.eclipse.ui.genericeditor/plugin.xml @@ -70,5 +70,4 @@ </command> </menuContribution> </extension> - </plugin> |