diff options
| author | Jonathan Williams | 2014-07-22 15:19:19 +0000 |
|---|---|---|
| committer | Elena Laskavaia | 2014-07-23 18:46:01 +0000 |
| commit | bd792bc3932f7cdae0cdb69d85a280c9c290a2e5 (patch) | |
| tree | 1bbfc779cc1685473a3565dc5ab555c1dedafd8d | |
| parent | 0bf6cec4479ba713ddefa6d07a47c79de05bd121 (diff) | |
| download | org.eclipse.cdt-bd792bc3932f7cdae0cdb69d85a280c9c290a2e5.tar.gz org.eclipse.cdt-bd792bc3932f7cdae0cdb69d85a280c9c290a2e5.tar.xz org.eclipse.cdt-bd792bc3932f7cdae0cdb69d85a280c9c290a2e5.zip | |
Bug 440133 - Fix extension point parsing for launchBarUIContributions
Change-Id: Ife27f47f483c9f80e5b9da94a180affee2baff61
Signed-off-by: Jonathan Williams <jonwilliams@qnx.com>
Reviewed-on: https://git.eclipse.org/r/30265
Tested-by: Hudson CI
Reviewed-by: Elena Laskavaia <elaskavaia.cdt@gmail.com>
| -rw-r--r-- | launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/LaunchBarUIManager.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/LaunchBarUIManager.java b/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/LaunchBarUIManager.java index b9bd21700e9..84a17591daf 100644 --- a/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/LaunchBarUIManager.java +++ b/launch/org.eclipse.cdt.launchbar.ui/src/org/eclipse/cdt/launchbar/ui/internal/LaunchBarUIManager.java @@ -58,9 +58,11 @@ public class LaunchBarUIManager { ILabelProvider labelProvider = (ILabelProvider) element.createExecutableExtension("labelProvider"); targetLabelProviders.put(targetTypeId, labelProvider); - IHoverProvider hoverProvider = (IHoverProvider) element.createExecutableExtension("hoverProvider"); - if (hoverProvider != null) - targetHoverProviders.put(targetTypeId, hoverProvider); + if (element.getAttribute("hoverProvider") != null) { + IHoverProvider hoverProvider = (IHoverProvider) element.createExecutableExtension("hoverProvider"); + if (hoverProvider != null) + targetHoverProviders.put(targetTypeId, hoverProvider); + } String editCommandId = element.getAttribute("editCommandId"); if (editCommandId != null && editCommandId.length() > 0) |