Client-side preference to turn off document symbols#151

fbricon merged 1 commit intoredhat-developer:masterredhat-developer/vscode-xml:masterfrom

NikolasKomonen:documentSymbolPreferenceClientNikolasKomonen/vscode-xml:documentSymbolPreferenceClientCopy head branch name to clipboard