DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md;
authorwenzelm
Wed, 28 Dec 2016 20:33:43 +0100
changeset 64693 92bcb79a465e
parent 64692 ccf017e2f2b4
child 64694 1d645e6efd89
DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md;
src/Tools/VSCode/src/protocol.scala
--- a/src/Tools/VSCode/src/protocol.scala	Wed Dec 28 20:17:01 2016 +0100
+++ b/src/Tools/VSCode/src/protocol.scala	Wed Dec 28 20:33:43 2016 +0100
@@ -327,10 +327,10 @@
 
   object DiagnosticSeverity
   {
-    val Error = 1
-    val Warning = 2
-    val Information = 3
-    val Hint = 4
+    val Error = 0
+    val Warning = 1
+    val Information = 2
+    val Hint = 3
   }
 
   object PublishDiagnostics