},nls.localize('terminal.selectionBackground','The selection background color of the terminal.'));
exportconstTERMINAL_BORDER_COLOR=registerColor('terminal.border',null,nls.localize('terminal.border','The color of the border that separates multiple terminals. This defaults to panel.border'));
exportconstTERMINAL_BORDER_COLOR=registerColor('terminal.border',null,nls.localize('terminal.border','The color of the border that separates split panes within the terminal. This defaults to panel.border.'));