fix: incorrect character escape sequence highlighting#688

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:mhuisi/invalid-character-escape-highlightingmhuisi/vscode-lean4:mhuisi/invalid-character-escape-highlightingCopy head branch name to clipboard