Parcourir la source

fix json range column positions (back to zero-based after nicolas change)

gotta look into eval position stuff and check there too
Dan Korostelev il y a 8 ans
Parent
commit
9a36fc1cda
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/display/displayOutput.ml

+ 1 - 1
src/display/displayOutput.ml

@@ -408,7 +408,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 - 1)); ("character", JInt c)] in
+		let to_json l c = JObject [("line", JInt (l - 1)); ("character", JInt (c - 1))] in
 		JObject [
 			("start", to_json l1 p1);
 			("end", to_json l2 p2);