# HG changeset patch
# User wenzelm
# Date 1482953623 -3600
# Node ID 92bcb79a465e02cabaa11fe106c1e38e0dc3a738
# Parent  ccf017e2f2b4124d64ac2026400e40d9653f9afc
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;

diff -r ccf017e2f2b4 -r 92bcb79a465e 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