diff -r 2bf8cfc98c4d -r 9c1173a7e4cb src/Tools/VSCode/extension/language-configuration.json --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/VSCode/extension/language-configuration.json Mon Dec 19 20:27:49 2016 +0100 @@ -0,0 +1,16 @@ +{ + "brackets": [ + ["(", ")"], + ["[", "]"], + ["{", "}"], + ["<", ">"], + ["«", "»"], + ["‹", "›"], + ["⟨", "⟩"], + ["⌈", "⌉"], + ["⌊", "⌋"], + ["⦇", "⦈"], + ["⟦", "⟧"], + ["⦃", "⦄"] + ] +}