panelTopBorder => panelBorder

This commit is contained in:
Benjamin Pasero 2017-04-27 15:00:25 +02:00
parent e22d511362
commit 662c112aec
4 changed files with 6 additions and 6 deletions

View file

@ -373,7 +373,7 @@
// Workbench: Panel
// "panelBackground": "",
"panelTopBorder": "#2b2b4a",
"panelBorder": "#2b2b4a",
// "panelActiveTitleBorder": "",
// "panelActiveTitleForeground": "",
// "panelInactiveTitleForeground": "",

View file

@ -409,7 +409,7 @@
// Workbench: Panel
// "panelBackground": "",
"panelTopBorder": "#2b2b4a",
"panelBorder": "#2b2b4a",
// "panelActiveTitleBorder": "",
// "panelActiveTitleForeground": "",
// "panelInactiveTitleForeground": "",

View file

@ -25,7 +25,7 @@ import { IInstantiationService } from 'vs/platform/instantiation/common/instanti
import { ActionsOrientation, ActionBar } from 'vs/base/browser/ui/actionbar/actionbar';
import { ClosePanelAction, PanelAction, ToggleMaximizedPanelAction } from 'vs/workbench/browser/parts/panel/panelActions';
import { IThemeService, registerThemingParticipant, ITheme, ICssStyleCollector } from 'vs/platform/theme/common/themeService';
import { PANEL_BACKGROUND, PANEL_BORDER_TOP_COLOR, PANEL_ACTIVE_TITLE_COLOR, PANEL_INACTIVE_TITLE_COLOR, PANEL_ACTIVE_TITLE_BORDER } from 'vs/workbench/common/theme';
import { PANEL_BACKGROUND, PANEL_BORDER_COLOR, PANEL_ACTIVE_TITLE_COLOR, PANEL_INACTIVE_TITLE_COLOR, PANEL_ACTIVE_TITLE_BORDER } from 'vs/workbench/common/theme';
import { highContrastOutline, focus } from 'vs/platform/theme/common/colorRegistry';
export class PanelPart extends CompositePart<Panel> implements IPanelService {
@ -104,7 +104,7 @@ export class PanelPart extends CompositePart<Panel> implements IPanelService {
container.style('background-color', this.getColor(PANEL_BACKGROUND));
const title = this.getTitleArea();
title.style('border-top-color', this.getColor(PANEL_BORDER_TOP_COLOR));
title.style('border-top-color', this.getColor(PANEL_BORDER_COLOR));
}
public openPanel(id: string, focus?: boolean): TPromise<Panel> {

View file

@ -102,11 +102,11 @@ export const PANEL_BACKGROUND = registerColor('panelBackground', {
hc: editorBackground
}, nls.localize('panelBackground', "Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal."));
export const PANEL_BORDER_TOP_COLOR = registerColor('panelTopBorder', {
export const PANEL_BORDER_COLOR = registerColor('panelBorder', {
dark: Color.fromRGBA(new RGBA(128, 128, 128)).transparent(0.35),
light: Color.fromRGBA(new RGBA(128, 128, 128)).transparent(0.35),
hc: highContrastBorder
}, nls.localize('panelTopBorder', "Panel border color on the top separating to the editor. Panels are shown below the editor area and contain views like output and integrated terminal."));
}, nls.localize('panelBorder', "Panel border color on the top separating to the editor. Panels are shown below the editor area and contain views like output and integrated terminal."));
export const PANEL_ACTIVE_TITLE_COLOR = registerColor('panelActiveTitleForeground', {
dark: '#E7E7E7',