Have terminal.border fallback to panel.border

This commit is contained in:
Daniel Imms 2018-02-13 11:09:41 -08:00
parent 0aa9312116
commit b66821d0f8

View file

@ -5,7 +5,7 @@
import * as nls from 'vs/nls';
import { registerColor, ColorIdentifier, contrastBorder } from 'vs/platform/theme/common/colorRegistry';
import { registerColor, ColorIdentifier } from 'vs/platform/theme/common/colorRegistry';
/**
* The color identifiers for the terminal's ansi colors. The index in the array corresponds to the index
@ -26,11 +26,7 @@ export const TERMINAL_SELECTION_BACKGROUND_COLOR = registerColor('terminal.selec
dark: '#FFFFFF40',
hc: '#FFFFFF80'
}, nls.localize('terminal.selectionBackground', 'The selection background color of the terminal.'));
export const TERMINAL_BORDER_COLOR = registerColor('terminal.border', {
dark: '#80808033',
light: '#80808033',
hc: contrastBorder
}, nls.localize('terminal.border', 'The color of the border that separates multiple terminals.'));
export const TERMINAL_BORDER_COLOR = registerColor('terminal.border', null, nls.localize('terminal.border', 'The color of the border that separates multiple terminals. This defaults to panel.border'));
const ansiColorMap = {
'terminal.ansiBlack': {