{ "editor.glyphMargin": false }