[theme] rename editorGuide -> editorIndentGuides (for #23464)

This commit is contained in:
Martin Aeschlimann
2017-03-30 16:23:59 +02:00
parent c2b0ea9193
commit 658643a31c
11 changed files with 42 additions and 38 deletions

View File

@@ -5,7 +5,7 @@
"editorBackground": "#ffffff",
"editorForeground": "#000000",
"editorInactiveSelection": "#E5EBF1",
"editorGuide": "#d3d3d3",
"editorIndentGuides": "#d3d3d3",
"editorSelectionHighlight": "#add6ff4d"
}
}