[theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)

This commit is contained in:
Martin Aeschlimann
2017-03-30 11:30:24 +02:00
parent ae0ad03034
commit 57ac341cfd
7 changed files with 10 additions and 10 deletions

View File

@@ -6,6 +6,6 @@
"editorForeground": "#000000",
"editorInactiveSelection": "#E5EBF1",
"editorGuide": "#d3d3d3",
"editorSelectionHighlightColor": "#add6ff4d"
"editorSelectionHighlight": "#add6ff4d"
}
}