Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

More tweak to hover spacing

Browse Source
This commit is contained in:
Kris De Volder
2019-05-22 10:29:42 -07:00
parent 0e9ab379c9
commit 13f7f4da46
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/java/value/ValueHoverProvider.java
View File

@@ -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");
}