Bad highlighting with high unicode characters

[yannl35133]

When high unicode characters are used, it messes up with highlighting and errors placed in text (these are capital pis):

let _ =
  let _ = "ΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠΠ" in -. 0                        

[tmattio]

@rgrinberg This is something that should be addressed in LSP, right? Any idea what could cause this?

[rgrinberg]

Yeah, probably. There's not much that can be done in this repo regardless. On Oct 5, 2021, 7:11 AM -0600, Thibaut Mattio @.***>, wrote:

@rgrinberg This is something that should be addressed in LSP, right? Any idea what could cause this? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or unsubscribe.