From 5e54421bfd8c7634993fce9ce50f1c1c8eb13ae3 Mon Sep 17 00:00:00 2001 From: Christoph Rueger Date: Fri, 4 Oct 2024 14:11:49 +0200 Subject: [PATCH] BndHover: show values in hover tooltip From this all instructions would benefit Signed-off-by: Christoph Rueger --- bndtools.core/src/bndtools/editor/completion/BndHover.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/bndtools.core/src/bndtools/editor/completion/BndHover.java b/bndtools.core/src/bndtools/editor/completion/BndHover.java index f6787989b1..82aa169249 100644 --- a/bndtools.core/src/bndtools/editor/completion/BndHover.java +++ b/bndtools.core/src/bndtools/editor/completion/BndHover.java @@ -63,7 +63,12 @@ public String getHoverInfo(ITextViewer textViewer, IRegion hoverRegion) { if (syntax != null) { sb.append(syntax.getLead()); - sb.append("\nE.g. "); + String values = syntax.getValues(); + if (values != null && !values.isBlank()) { + sb.append("\nValues: "); + sb.append(syntax.getValues()); + } + sb.append("\nExample: "); sb.append(syntax.getExample()); } Parameters decorated = properties.decorated(key);