Add $ to surroundingPairs configuration#625

hansonchar wants to merge 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

hansonchar:surroundingPairshansonchar/vscode-lean4:surroundingPairsCopy head branch name to clipboard