exportconsteditorSelection=registerColor('editorSelection',{light:'#ADD6FF',dark:'#264F78',hc:'#f3f518'},nls.localize('editorSelection',"Color of the editor selection."));
exportconsteditorInactiveSelection=registerColor('editorInactiveSelection',{light:transparent(editorSelection,0.5),dark:transparent(editorSelection,0.5),hc:null},nls.localize('editorInactiveSelection',"Color of the selection in an inactive editor."));
exportconsteditorSelectionHighlight=registerColor('editorSelectionHighlight',{light:lessProminent(editorSelection,editorBackground,0.3),dark:lessProminent(editorSelection,editorBackground,0.3),hc:null},nls.localize('editorSelectionHighlight','Color for regions with the same content as the selection.'));
exportconsteditorSelectionHighlight=registerColor('editorSelectionHighlight',{light:lessProminent(editorSelection,editorBackground,0.3,0.6),dark:lessProminent(editorSelection,editorBackground,0.3,0.6),hc:null},nls.localize('editorSelectionHighlight','Color for regions with the same content as the selection.'));