# HG changeset patch # User wenzelm # Date 1498765435 -7200 # Node ID a6fdb22b0ce223ba0fbe9d8816f631de8af5179a # Parent 186069cfb9ba9a0642737b7c4cb77fb27036ad6a clarified; diff -r 186069cfb9ba -r a6fdb22b0ce2 src/Tools/VSCode/extension/README.md --- a/src/Tools/VSCode/extension/README.md Thu Jun 29 21:27:34 2017 +0200 +++ b/src/Tools/VSCode/extension/README.md Thu Jun 29 21:43:55 2017 +0200 @@ -54,8 +54,9 @@ * Recommended changes to default VSCode settings: ``` - "editor.acceptSuggestionOnEnter": false - "editor.lineNumbers": "off" - "editor.rulers": [100] - "editor.wordBasedSuggestions": true + "editor.acceptSuggestionOnEnter": "off", + "editor.lineNumbers": "off", + "editor.renderIndentGuides": false, + "editor.rulers": [100], + "editor.wordBasedSuggestions": true, ```