From 13f7f4da469aaae342dc808090037d64315d3e6d Mon Sep 17 00:00:00 2001 From: Kris De Volder Date: Wed, 22 May 2019 10:29:42 -0700 Subject: [PATCH] More tweak to hover spacing --- .../ide/vscode/boot/java/value/ValueHoverProvider.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/java/value/ValueHoverProvider.java b/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/java/value/ValueHoverProvider.java index d021cae10..e27f74126 100644 --- a/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/java/value/ValueHoverProvider.java +++ b/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/java/value/ValueHoverProvider.java @@ -112,7 +112,7 @@ public class ValueHoverProvider implements HoverProvider { if (foundProperties != null) { for (LiveProperty liveProp : foundProperties) { hover.append(propertyKey + " : " + liveProp.getValue()); - hover.append(" (from: " + liveProp.getSource() + ")\n\n"); + hover.append(" (from: " + liveProp.getSource() + ")\n"); hover.append(LiveHoverUtils.niceAppName(app)); hover.append("\n\n"); }