themes - get rid of masterDetailsEditor.border

This commit is contained in:
Benjamin Pasero 2017-04-28 15:57:44 +02:00
parent ff9f7b3baa
commit f042999623
4 changed files with 2 additions and 9 deletions

View file

@ -351,7 +351,6 @@
// "editorGroupHeader.noTabsBackground": "",
"editorGroup.border": "#2b2b4a",
"editorGroup.background": "#1c1c2a",
"masterDetailsEditor.border": "#10192c",
"editorGroup.dropBackground": "#25375daa",
// Workbench: Tabs

View file

@ -389,7 +389,6 @@
// "editorGroupHeader.noTabsBackground": "",
"editorGroup.border": "#00212B",
"editorGroup.background": "#011b23",
"masterDetailsEditor.border": "#00212B",
"editorGroup.dropBackground": "#00212BAA",
// Workbench: Tabs

View file

@ -17,7 +17,7 @@ import { VSash } from 'vs/base/browser/ui/sash/sash';
import { ITelemetryService } from 'vs/platform/telemetry/common/telemetry';
import { IInstantiationService } from 'vs/platform/instantiation/common/instantiation';
import { IThemeService } from 'vs/platform/theme/common/themeService';
import { EDITOR_MASTER_DETAILS_BORDER } from 'vs/workbench/common/theme';
import { scrollbarShadow } from 'vs/platform/theme/common/colorRegistry';
export class SideBySideEditor extends BaseEditor {
@ -165,7 +165,7 @@ export class SideBySideEditor extends BaseEditor {
super.updateStyles();
if (this.masterEditorContainer) {
this.masterEditorContainer.style.boxShadow = `-6px 0 5px -5px ${this.getColor(EDITOR_MASTER_DETAILS_BORDER)}`;
this.masterEditorContainer.style.boxShadow = `-6px 0 5px -5px ${this.getColor(scrollbarShadow)}`;
}
}

View file

@ -87,11 +87,6 @@ export const EDITOR_DRAG_AND_DROP_BACKGROUND = registerColor('editorGroup.dropBa
hc: null
}, nls.localize('editorDragAndDropBackground', "Background color when dragging editors around."));
export const EDITOR_MASTER_DETAILS_BORDER = registerColor('masterDetailsEditor.border', {
dark: '#000000',
light: '#DDDDDD',
hc: null
}, nls.localize('editorMasterDetailsBorder', "Border color to separate the details from the master side for side by side editors. Examples include diff editors and the settings editor."));
// < --- Panels --- >