diff options
author | Leigh McCulloch <leigh@mcchouse.com> | 2019-03-06 04:40:06 +0000 |
---|---|---|
committer | Leigh McCulloch <leigh@mcchouse.com> | 2019-03-06 04:45:04 +0000 |
commit | a9ff189c2707a9101bbfb65c5dbce0e470e0b74a (patch) | |
tree | 6a908b4da1ee060485e3fcc18656cae78b82c8f0 | |
parent | 4a850518b55629cb87f9f6b32d7ea6023ed03424 (diff) | |
download | java-language-server-a9ff189c2707a9101bbfb65c5dbce0e470e0b74a.zip |
Remove '.hover' from the language on code hover
What
===
Remove '.hover' from the language name on code hover so language is set
as `java` instead of `java.hover`.
Why
===
The intention of the language is to display it in GitHub's markdown
fenced code block format. The '.hover' is unnecessary noise as only the
'java' is required to correctly satisfy the syntax of the fenced code
block.
-rw-r--r-- | src/main/java/org/javacs/JavaLanguageServer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/javacs/JavaLanguageServer.java b/src/main/java/org/javacs/JavaLanguageServer.java index 798e71a..2d2e3bc 100644 --- a/src/main/java/org/javacs/JavaLanguageServer.java +++ b/src/main/java/org/javacs/JavaLanguageServer.java @@ -644,7 +644,7 @@ class JavaLanguageServer extends LanguageServer { // Add code hover message var result = new ArrayList<MarkedString>(); var code = hoverCode(el.get()); - result.add(new MarkedString("java.hover", code)); + result.add(new MarkedString("java", code)); // Add docs hover message var docs = hoverDocs(el.get()); if (docs.isPresent()) { |