exportconstTERMINAL_BACKGROUND_COLOR=registerColor('terminal.background',null,nls.localize('terminal.background','The background color of the terminal, this allows coloring the terminal differently to the panel.'));
},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 split panes within the terminal. This defaults to panel.border.'));