Thu, 14 May 2020 09:55:49 -0500
No language filter in `editor.tokenColorCustomizations`.
(https://github.com/microsoft/vscode/issues/97753#issuecomment-628490844)
Still doesn't work injecting them, though.
{ "comments": { "lineComment": "%" }, "brackets": [ ["{", "}"], ["[", "]"], ["(", ")"], ["\\left", "\\right"] ], "autoClosingPairs": [ ["{", "}"], ["[", "]"], ["(", ")"], ["`", "'"] ], "surroundingPairs": [ ["{", "}"], ["[", "]"], ["(", ")"], ["\"", "\""], ["'", "'"], ["`", "'"], ["$", "$"] ], "indentationRules": { "increaseIndentPattern": "(\\\\begin{(?!document))", "decreaseIndentPattern": "(\\\\end{(?!document))" }, "folding": { "markers": { "start": "^\\s*%\\s*#?region\\b.*", "end": "^\\s*%\\s*#?endregion\\b.*" } }, "autoCloseBefore": ";:.,=}])>\\` \n\t$", "wordPattern": "(__)|(\\*\\*)|(@.)|(\\.\\.\\.)|([^\\s`'\"~_!?|$#@%^&*\\-=+;:,.<>(){}[\\]\\\\\\/]{2,})" }