Jelajahi Sumber

[display] start counting lines with 0 for json output (to be consistent with characters)

languageserver is already adapted
Dan Korostelev 9 tahun lalu
induk
melakukan
a56bd9dd6e
1 mengubah file dengan 1 tambahan dan 1 penghapusan
  1. 1 1
      src/display/display.ml

+ 1 - 1
src/display/display.ml

@@ -179,7 +179,7 @@ let pos_to_json_range p =
 		JNull
 	else
 		let l1, p1, l2, p2 = Lexer.get_pos_coords p in
-		let to_json l c = JObject [("line", JInt l); ("character", JInt c)] in
+		let to_json l c = JObject [("line", JInt (l - 1)); ("character", JInt c)] in
 		JObject [
 			("start", to_json l1 p1);
 			("end", to_json l2 p2);