"workbench.colorCustomizations": { "[Default Dark+]": { "editor.selectionHighlightBackground": "#3b3b3b&quo