Huge News!Announcing our $40M Series B led by Abstract Ventures.Learn More
Socket
Sign inDemoInstall
Socket

@gedit/theme

Package Overview
Dependencies
Maintainers
3
Versions
58
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

@gedit/theme - npm Package Compare versions

Comparing version 0.1.61 to 0.1.62

8

lib/browser/color-application-contribution.js

@@ -126,12 +126,12 @@ "use strict";

__decorate([
inversify_1.inject(color_registry_1.ColorRegistry),
(0, inversify_1.inject)(color_registry_1.ColorRegistry),
__metadata("design:type", color_registry_1.ColorRegistry)
], ColorApplicationContribution.prototype, "colors", void 0);
__decorate([
inversify_1.inject(utils_1.ContributionProvider),
inversify_1.named(exports.ColorContribution),
(0, inversify_1.inject)(utils_1.ContributionProvider),
(0, inversify_1.named)(exports.ColorContribution),
__metadata("design:type", Object)
], ColorApplicationContribution.prototype, "colorContributions", void 0);
ColorApplicationContribution = ColorApplicationContribution_1 = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], ColorApplicationContribution);

@@ -138,0 +138,0 @@ return ColorApplicationContribution;

@@ -66,5 +66,10 @@ "use strict";

};
var __spread = (this && this.__spread) || function () {
for (var ar = [], i = 0; i < arguments.length; i++) ar = ar.concat(__read(arguments[i]));
return ar;
var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
if (ar || !(i in from)) {
if (!ar) ar = Array.prototype.slice.call(from, 0, i);
ar[i] = from[i];
}
}
return to.concat(ar || Array.prototype.slice.call(from));
};

@@ -126,3 +131,3 @@ Object.defineProperty(exports, "__esModule", { value: true });

if (prefix === void 0) { prefix = 'g'; }
return "--" + prefix + "-" + id.replace(/\./g, '-');
return "--".concat(prefix, "-").concat(id.replace(/\./g, '-'));
};

@@ -138,3 +143,3 @@ ColorRegistry.prototype.getCurrentColor = function (id) {

}
var result = new (utils_1.DisposableCollection.bind.apply(utils_1.DisposableCollection, __spread([void 0], definitions.map(function (definition) { return _this.doRegister(definition); }))))();
var result = new (utils_1.DisposableCollection.bind.apply(utils_1.DisposableCollection, __spreadArray([void 0], __read(definitions.map(function (definition) { return _this.doRegister(definition); })), false)))();
this.fireDidChange();

@@ -147,3 +152,3 @@ return result;

ColorRegistry = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], ColorRegistry);

@@ -150,0 +155,0 @@ return ColorRegistry;

@@ -13,2 +13,12 @@ "use strict";

var color_registry_1 = require("./color-registry");
var primaryColor = '#6c36e6';
var backgroundColor = '#06030E';
var panelBarBackgroundColor = '#110D23';
var panelLightBackgroundColor = '#0B0917';
var panelActiveColor = panelLightBackgroundColor;
var navBackgroundColor = '#0E0B1B';
var dropdownBackgroundColor = '#100A22';
var lightColor = '#ffffff';
var baseLineColor = '#231E39';
var inputBackground = '#090711';
var DefaultColorContribution = /** @class */ (function () {

@@ -18,3 +28,11 @@ function DefaultColorContribution() {

DefaultColorContribution.prototype.registerColors = function (colors) {
colors.register(
colors.register({
id: 'editor.background',
defaults: { dark: backgroundColor },
description: 'editor background color',
}, {
id: 'editor.lineColor',
defaults: { dark: baseLineColor },
description: 'line color',
},
// Base Colors should be aligned with https://code.visualstudio.com/api/references/theme-color#base-colors

@@ -24,19 +42,18 @@ // if not yet contributed by Monaco, check runtime css variables to learn

id: 'selection.background',
defaults: { dark: '#217daf', light: '#c0dbf1' },
description: 'Overall border color for focused elements. This color is only used if not overridden by a component.'
defaults: { dark: primaryColor },
description: 'Overall border color for focused elements. This color is only used if not overridden by a component.',
}, {
id: 'icon.foreground',
defaults: { dark: '#C5C5C5', light: '#424242', hc: '#FFFFFF' },
description: 'The default color for icons in the workbench.'
defaults: { dark: '#C5C5C5' },
description: 'The default color for icons in the workbench.',
},
// Window border colors should be aligned with https://code.visualstudio.com/api/references/theme-color#window-border
{
id: 'window.activeBorder', defaults: {
hc: 'contrastBorder'
}, description: 'The color used for the border of the window when it is active.'
id: 'window.activeBorder',
defaults: {},
description: 'The color used for the border of the window when it is active.',
}, {
id: 'window.inactiveBorder', defaults: {
hc: 'contrastBorder'
},
description: 'The color used for the border of the window when it is inactive.'
id: 'window.inactiveBorder',
defaults: {},
description: 'The color used for the border of the window when it is inactive.',
},

@@ -47,8 +64,14 @@ // Buttons should be aligned with https://code.visualstudio.com/api/references/theme-color#button-control

id: 'button.foreground',
defaults: { dark: color_registry_1.Color.white, light: color_registry_1.Color.white, hc: color_registry_1.Color.white },
description: 'Button foreground color.'
}, { id: 'button.background', defaults: { dark: '#0E639C', light: '#007ACC' }, description: 'Button background color.' }, {
defaults: { dark: lightColor },
description: 'Button foreground color.',
}, {
id: 'button.background',
defaults: { dark: primaryColor },
description: 'Button background color.',
}, {
id: 'button.hoverBackground',
defaults: { dark: color_registry_1.Color.lighten('button.background', 0.2), light: color_registry_1.Color.darken('button.background', 0.2) },
description: 'Button background color when hovering.'
defaults: {
dark: color_registry_1.Color.lighten('button.background', 0.85),
},
description: 'Button background color when hovering.',
},

@@ -59,13 +82,9 @@ // Activity Bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#activity-bar

defaults: {
dark: '#333333',
light: '#ddd',
hc: '#000000'
dark: panelBarBackgroundColor,
},
description: 'Activity bar background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity bar background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBar.foreground',
defaults: {
dark: color_registry_1.Color.white,
light: color_registry_1.Color.white,
hc: color_registry_1.Color.white
dark: lightColor,
},

@@ -77,33 +96,31 @@ description: 'Activity bar item foreground color when it is active. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',

dark: color_registry_1.Color.transparent('activityBar.foreground', 0.4),
light: color_registry_1.Color.transparent('activityBar.foreground', 0.4),
hc: color_registry_1.Color.white
},
description: 'Activity bar item foreground color when it is inactive. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity bar item foreground color when it is inactive. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBar.border',
defaults: {
hc: 'contrastBorder'
hc: 'contrastBorder',
},
description: 'Activity bar border color separating to the side bar. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity bar border color separating to the side bar. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBar.activeBorder',
defaults: {
dark: 'activityBar.foreground',
light: 'activityBar.foreground',
dark: primaryColor,
},
description: 'Activity bar border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity bar border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBar.activeFocusBorder',
description: 'Activity bar focus border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity bar focus border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBar.activeBackground',
description: 'Activity bar background color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
defaults: {
dark: panelActiveColor,
},
description: 'Activity bar background color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBar.dropBackground',
defaults: {
dark: color_registry_1.Color.transparent('#ffffff', 0.12),
light: color_registry_1.Color.transparent('#ffffff', 0.12),
hc: color_registry_1.Color.transparent('#ffffff', 0.12),
dark: color_registry_1.Color.transparent(lightColor, 0.12),
},
description: 'Drag and drop feedback color for the activity bar items. The color should have transparency so that the activity bar entries can still shine through. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Drag and drop feedback color for the activity bar items. The color should have transparency so that the activity bar entries can still shine through. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {

@@ -113,14 +130,10 @@ id: 'activityBarBadge.background',

dark: '#007ACC',
light: '#007ACC',
hc: '#000000'
},
description: 'Activity notification badge background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity notification badge background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
}, {
id: 'activityBarBadge.foreground',
defaults: {
dark: color_registry_1.Color.white,
light: color_registry_1.Color.white,
hc: color_registry_1.Color.white
dark: lightColor,
},
description: 'Activity notification badge foreground color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description: 'Activity notification badge foreground color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -131,22 +144,25 @@ // Side Bar should be aligned with https://code.visualstudio.com/api/references/theme-color#side-bar

id: 'sideBar.background',
defaults: { dark: '#252526', light: '#F3F3F3', hc: '#000000' },
description: 'Side bar background color. The side bar is the container for views like explorer and search.'
defaults: { dark: panelLightBackgroundColor },
description: 'Side bar background color. The side bar is the container for views like explorer and search.',
}, {
id: 'sideBarTitle.foreground',
defaults: { dark: '#1e1e1e', light: '#F3F3F3', hc: '#000000' },
description: 'Side Bar title foreground color.'
defaults: { dark: panelLightBackgroundColor },
description: 'Side Bar title foreground color.',
}, {
id: 'sideBar.foreground',
description: 'Side bar foreground color. The side bar is the container for views like explorer and search.'
defaults: {
dark: lightColor,
},
description: 'Side bar foreground color. The side bar is the container for views like explorer and search.',
}, {
id: 'sideBarSectionHeader.background',
defaults: { dark: '#80808033', light: '#80808033' },
description: 'Side bar section header background color. The side bar is the container for views like explorer and search.'
defaults: { dark: '#80808033' },
description: 'Side bar section header background color. The side bar is the container for views like explorer and search.',
}, {
id: 'sideBarSectionHeader.foreground',
description: 'Side bar foreground color. The side bar is the container for views like explorer and search.'
description: 'Side bar foreground color. The side bar is the container for views like explorer and search.',
}, {
id: 'sideBarSectionHeader.border',
defaults: { hc: '#6FC3DF' },
description: 'Side bar section header border color. The side bar is the container for views like explorer and search.'
defaults: {},
description: 'Side bar section header border color. The side bar is the container for views like explorer and search.',
},

@@ -162,23 +178,30 @@ // Lists and Trees colors should be aligned with https://code.visualstudio.com/api/references/theme-color#lists-and-trees

id: 'list.activeSelectionBackground',
defaults: { dark: '#094771', light: '#0074E8' },
description: 'List/Tree background color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.'
defaults: { dark: '#342c6f' },
description: 'List/Tree background color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.',
}, {
id: 'list.activeSelectionForeground',
defaults: { dark: '#FFF', light: '#FFF' },
description: 'List/Tree foreground color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.'
defaults: { dark: lightColor },
description: 'List/Tree foreground color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.',
}, {
id: 'list.inactiveSelectionBackground',
defaults: { dark: '#37373D', light: '#E4E6F1' },
description: 'List/Tree background color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.'
defaults: { dark: '#262240' },
description: 'List/Tree background color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.',
}, {
id: 'list.inactiveSelectionForeground',
description: 'List/Tree foreground color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.'
description: 'List/Tree foreground color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.',
}, {
id: 'list.hoverBackground',
defaults: { dark: '#2A2D2E', light: '#F0F0F0' },
description: 'List/Tree background when hovering over items using the mouse.'
}, { id: 'list.hoverForeground', description: 'List/Tree foreground when hovering over items using the mouse.' }, {
defaults: {
dark: 'tab-activeBackground',
},
description: 'List/Tree background when hovering over items using the mouse.',
}, {
id: 'list.hoverForeground',
description: 'List/Tree foreground when hovering over items using the mouse.',
}, {
id: 'list.filterMatchBackground',
defaults: { dark: 'editor.findMatchHighlightBackground', light: 'editor.findMatchHighlightBackground' },
description: 'Background color of the filtered match.'
defaults: {
dark: 'editor.findMatchHighlightBackground',
},
description: 'Background color of the filtered match.',
},

@@ -190,6 +213,4 @@ // Editor Group & Tabs colors should be aligned with https://code.visualstudio.com/api/references/theme-color#editor-groups-tabs

dark: '#444444',
light: '#E7E7E7',
hc: 'contrastBorder'
},
description: 'Color to separate multiple editor groups from each other. Editor groups are the containers of editors.'
description: 'Color to separate multiple editor groups from each other. Editor groups are the containers of editors.',
}, {

@@ -199,26 +220,20 @@ id: 'editorGroup.dropBackground',

dark: color_registry_1.Color.transparent('#53595D', 0.5),
light: color_registry_1.Color.transparent('#2677CB', 0.18)
},
description: 'Background color when dragging editors around. The color should have transparency so that the editor contents can still shine through.'
description: 'Background color when dragging editors around. The color should have transparency so that the editor contents can still shine through.',
}, {
id: 'editorGroupHeader.tabsBackground',
defaults: {
dark: '#252526',
light: '#F3F3F3'
dark: 'sideBar.background',
},
description: 'Background color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.'
description: 'Background color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.',
}, {
id: 'editorGroupHeader.tabsBorder',
defaults: {
hc: 'contrastBorder'
},
description: 'Border color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.'
defaults: {},
description: 'Border color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.',
}, {
id: 'tab.activeBackground',
defaults: {
dark: 'editor.background',
light: 'editor.background',
hc: 'editor.background'
dark: '#1f1a42',
},
description: 'Active tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Active tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -228,21 +243,16 @@ id: 'tab.unfocusedActiveBackground',

dark: 'tab.activeBackground',
light: 'tab.activeBackground',
hc: 'tab.activeBackground'
},
description: 'Active tab background color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Active tab background color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.inactiveBackground',
defaults: {
dark: '#2D2D2D',
light: '#ECECEC'
dark: 'sideBar.background',
},
description: 'Inactive tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Inactive tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.activeForeground',
defaults: {
dark: color_registry_1.Color.white,
light: '#333333',
hc: color_registry_1.Color.white
dark: lightColor,
},
description: 'Active tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Active tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -252,6 +262,4 @@ id: 'tab.inactiveForeground',

dark: color_registry_1.Color.transparent('tab.activeForeground', 0.5),
light: color_registry_1.Color.transparent('tab.activeForeground', 0.7),
hc: color_registry_1.Color.white
},
description: 'Inactive tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Inactive tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -261,6 +269,4 @@ id: 'tab.unfocusedActiveForeground',

dark: color_registry_1.Color.transparent('tab.activeForeground', 0.5),
light: color_registry_1.Color.transparent('tab.activeForeground', 0.7),
hc: color_registry_1.Color.white
},
description: 'Active tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Active tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -270,17 +276,13 @@ id: 'tab.unfocusedInactiveForeground',

dark: color_registry_1.Color.transparent('tab.inactiveForeground', 0.5),
light: color_registry_1.Color.transparent('tab.inactiveForeground', 0.5),
hc: color_registry_1.Color.white
},
description: 'Inactive tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Inactive tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.border',
defaults: {
dark: '#252526',
light: '#F3F3F3',
hc: 'contrastBorder'
dark: 'sideBar.background',
},
description: 'Border to separate tabs from each other. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border to separate tabs from each other. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.activeBorder',
description: 'Border on the bottom of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border on the bottom of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -290,22 +292,19 @@ id: 'tab.unfocusedActiveBorder',

dark: color_registry_1.Color.transparent('tab.activeBorder', 0.5),
light: color_registry_1.Color.transparent('tab.activeBorder', 0.7)
},
description: 'Border on the bottom of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border on the bottom of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.activeBorderTop',
defaults: {
dark: 'focusBorder',
light: 'focusBorder'
dark: primaryColor,
},
description: 'Border to the top of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border to the top of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.unfocusedActiveBorderTop',
defaults: {
dark: color_registry_1.Color.transparent('tab.activeBorderTop', 0.5),
light: color_registry_1.Color.transparent('tab.activeBorderTop', 0.7)
dark: 'tab.activeBorderTop',
},
description: 'Border to the top of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border to the top of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.hoverBackground',
description: 'Tab background color when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Tab background color when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -315,8 +314,7 @@ id: 'tab.unfocusedHoverBackground',

dark: color_registry_1.Color.transparent('tab.hoverBackground', 0.5),
light: color_registry_1.Color.transparent('tab.hoverBackground', 0.7)
},
description: 'Tab background color in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Tab background color in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.hoverBorder',
description: 'Border to highlight tabs when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border to highlight tabs when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {

@@ -326,36 +324,28 @@ id: 'tab.unfocusedHoverBorder',

dark: color_registry_1.Color.transparent('tab.hoverBorder', 0.5),
light: color_registry_1.Color.transparent('tab.hoverBorder', 0.7)
},
description: 'Border to highlight tabs in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border to highlight tabs in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.activeModifiedBorder',
defaults: {
dark: '#3399CC',
light: '#33AAEE'
dark: 'tab.activeBorderTop',
},
description: 'Border on the top of modified (dirty) active tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border on the top of modified (dirty) active tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.inactiveModifiedBorder',
defaults: {
dark: color_registry_1.Color.transparent('tab.activeModifiedBorder', 0.5),
light: color_registry_1.Color.transparent('tab.activeModifiedBorder', 0.5),
hc: color_registry_1.Color.white
dark: 'tab.activeModifiedBorder',
},
description: 'Border on the top of modified (dirty) inactive tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border on the top of modified (dirty) inactive tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.unfocusedActiveModifiedBorder',
defaults: {
dark: color_registry_1.Color.transparent('tab.activeModifiedBorder', 0.5),
light: color_registry_1.Color.transparent('tab.activeModifiedBorder', 0.7),
hc: color_registry_1.Color.white
dark: 'tab.activeModifiedBorder',
},
description: 'Border on the top of modified (dirty) active tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border on the top of modified (dirty) active tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
}, {
id: 'tab.unfocusedInactiveModifiedBorder',
defaults: {
dark: color_registry_1.Color.transparent('tab.inactiveModifiedBorder', 0.5),
light: color_registry_1.Color.transparent('tab.inactiveModifiedBorder', 0.5),
hc: color_registry_1.Color.white
dark: 'tab.inactiveModifiedBorder',
},
description: 'Border on the top of modified (dirty) inactive tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description: 'Border on the top of modified (dirty) inactive tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -368,14 +358,11 @@ // Status bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#status-bar-colors

defaults: {
dark: '#FFFFFF',
light: '#FFFFFF',
hc: '#FFFFFF'
dark: lightColor,
},
description: 'Status bar foreground color when a workspace is opened. The status bar is shown in the bottom of the window.'
description: 'Status bar foreground color when a workspace is opened. The status bar is shown in the bottom of the window.',
}, {
id: 'statusBar.background',
defaults: {
dark: '#007ACC',
light: '#007ACC'
dark: 'button.background',
},
description: 'Status bar background color when a workspace is opened. The status bar is shown in the bottom of the window.'
description: 'Status bar background color when a workspace is opened. The status bar is shown in the bottom of the window.',
}, {

@@ -385,6 +372,4 @@ id: 'statusBar.noFolderForeground',

dark: 'statusBar.foreground',
light: 'statusBar.foreground',
hc: 'statusBar.foreground'
},
description: 'Status bar foreground color when no folder is opened. The status bar is shown in the bottom of the window.'
description: 'Status bar foreground color when no folder is opened. The status bar is shown in the bottom of the window.',
}, {

@@ -394,11 +379,8 @@ id: 'statusBar.noFolderBackground',

dark: '#68217A',
light: '#68217A'
},
description: 'Status bar background color when no folder is opened. The status bar is shown in the bottom of the window.'
description: 'Status bar background color when no folder is opened. The status bar is shown in the bottom of the window.',
}, {
id: 'statusBar.border',
defaults: {
hc: 'contrastBorder'
},
description: 'Status bar border color separating to the sidebar and editor. The status bar is shown in the bottom of the window.'
defaults: {},
description: 'Status bar border color separating to the sidebar and editor. The status bar is shown in the bottom of the window.',
}, {

@@ -408,6 +390,4 @@ id: 'statusBar.noFolderBorder',

dark: 'statusBar.border',
light: 'statusBar.border',
hc: 'statusBar.border'
},
description: 'Status bar border color separating to the sidebar and editor when no folder is opened. The status bar is shown in the bottom of the window.'
description: 'Status bar border color separating to the sidebar and editor when no folder is opened. The status bar is shown in the bottom of the window.',
}, {

@@ -417,6 +397,4 @@ id: 'statusBarItem.activeBackground',

dark: color_registry_1.Color.rgba(255, 255, 255, 0.18),
light: color_registry_1.Color.rgba(255, 255, 255, 0.18),
hc: color_registry_1.Color.rgba(255, 255, 255, 0.18)
},
description: 'Status bar item background color when clicking. The status bar is shown in the bottom of the window.'
description: 'Status bar item background color when clicking. The status bar is shown in the bottom of the window.',
}, {

@@ -426,6 +404,4 @@ id: 'statusBarItem.hoverBackground',

dark: color_registry_1.Color.rgba(255, 255, 255, 0.12),
light: color_registry_1.Color.rgba(255, 255, 255, 0.12),
hc: color_registry_1.Color.rgba(255, 255, 255, 0.12)
},
description: 'Status bar item background color when hovering. The status bar is shown in the bottom of the window.'
description: 'Status bar item background color when hovering. The status bar is shown in the bottom of the window.',
},

@@ -438,6 +414,4 @@ // Quickinput colors should be aligned with https://code.visualstudio.com/api/references/theme-color#quick-picker

dark: 'sideBar.background',
light: 'sideBar.background',
hc: 'sideBar.background'
},
description: 'Quick Input background color. The Quick Input widget is the container for views like the color theme picker.'
description: 'Quick Input background color. The Quick Input widget is the container for views like the color theme picker.',
}, {

@@ -447,6 +421,4 @@ id: 'quickInput.foreground',

dark: 'sideBar.foreground',
light: 'sideBar.foreground',
hc: 'sideBar.foreground'
},
description: 'Quick Input foreground color. The Quick Input widget is the container for views like the color theme picker.'
description: 'Quick Input foreground color. The Quick Input widget is the container for views like the color theme picker.',
},

@@ -457,11 +429,11 @@ // Panel colors should be aligned with https://code.visualstudio.com/api/references/theme-color#panel-colors

defaults: {
dark: 'editor.background', light: 'editor.background', hc: 'editor.background'
dark: 'editor.background',
},
description: 'Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal.'
description: 'Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal.',
}, {
id: 'panel.border',
defaults: {
dark: color_registry_1.Color.transparent('#808080', 0.35), light: color_registry_1.Color.transparent('#808080', 0.35), hc: 'contrastBorder'
dark: color_registry_1.Color.transparent(primaryColor, 0.35),
},
description: 'Panel border color to separate the panel from the editor. Panels are shown below the editor area and contain views like output and integrated terminal.'
description: 'Panel border color to separate the panel from the editor. Panels are shown below the editor area and contain views like output and integrated terminal.',
}, {

@@ -471,12 +443,10 @@ id: 'panel.dropBackground',

dark: color_registry_1.Color.rgba(255, 255, 255, 0.12),
light: color_registry_1.Color.transparent('#2677CB', 0.18),
hc: color_registry_1.Color.rgba(255, 255, 255, 0.12)
},
description: 'Drag and drop feedback color for the panel title items. The color should have transparency so that the panel entries can still shine through. Panels are shown below the editor area and contain views like output and integrated terminal.'
description: 'Drag and drop feedback color for the panel title items. The color should have transparency so that the panel entries can still shine through. Panels are shown below the editor area and contain views like output and integrated terminal.',
}, {
id: 'panelTitle.activeForeground',
defaults: {
dark: '#E7E7E7', light: '#424242', hc: color_registry_1.Color.white
dark: '#E7E7E7',
},
description: 'Title color for the active panel. Panels are shown below the editor area and contain views like output and integrated terminal.'
description: 'Title color for the active panel. Panels are shown below the editor area and contain views like output and integrated terminal.',
}, {

@@ -486,19 +456,20 @@ id: 'panelTitle.inactiveForeground',

dark: color_registry_1.Color.transparent('panelTitle.activeForeground', 0.6),
light: color_registry_1.Color.transparent('panelTitle.activeForeground', 0.75),
hc: color_registry_1.Color.white
},
description: 'Title color for the inactive panel. Panels are shown below the editor area and contain views like output and integrated terminal.'
description: 'Title color for the inactive panel. Panels are shown below the editor area and contain views like output and integrated terminal.',
}, {
id: 'panelTitle.activeBorder',
defaults: {
dark: 'panelTitle.activeForeground', light: 'panelTitle.activeForeground', hc: 'contrastBorder'
dark: primaryColor,
},
description: 'Border color for the active panel title. Panels are shown below the editor area and contain views like output and integrated terminal.'
description: 'Border color for the active panel title. Panels are shown below the editor area and contain views like output and integrated terminal.',
}, {
id: 'panelInput.border', defaults: { light: '#ddd' },
description: 'Input box border for inputs in the panel.'
id: 'panelInput.border',
defaults: {},
description: 'Input box border for inputs in the panel.',
}, {
id: 'imagePreview.border', defaults: {
dark: color_registry_1.Color.transparent('#808080', 0.35), light: color_registry_1.Color.transparent('#808080', 0.35), hc: 'contrastBorder'
}, description: 'Border color for image in image preview.'
id: 'imagePreview.border',
defaults: {
dark: color_registry_1.Color.transparent('#808080', 0.35),
},
description: 'Border color for image in image preview.',
},

@@ -510,6 +481,4 @@ // Title Bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#title-bar-colors

dark: '#CCCCCC',
light: '#333333',
hc: '#FFFFFF'
},
description: 'Title bar foreground when the window is active. Note that this color is currently only supported on macOS.'
description: 'Title bar foreground when the window is active. Note that this color is currently only supported on macOS.',
}, {

@@ -519,13 +488,10 @@ id: 'titleBar.inactiveForeground',

dark: color_registry_1.Color.transparent('titleBar.activeForeground', 0.6),
light: color_registry_1.Color.transparent('titleBar.activeForeground', 0.6)
},
description: 'Title bar foreground when the window is inactive. Note that this color is currently only supported on macOS.'
description: 'Title bar foreground when the window is inactive. Note that this color is currently only supported on macOS.',
}, {
id: 'titleBar.activeBackground',
defaults: {
dark: '#3C3C3C',
light: '#DDDDDD',
hc: '#000000'
dark: navBackgroundColor,
},
description: 'Title bar background when the window is active. Note that this color is currently only supported on macOS.'
description: 'Title bar background when the window is active. Note that this color is currently only supported on macOS.',
}, {

@@ -535,235 +501,269 @@ id: 'titleBar.inactiveBackground',

dark: color_registry_1.Color.transparent('titleBar.activeBackground', 0.6),
light: color_registry_1.Color.transparent('titleBar.activeBackground', 0.6)
},
description: 'Title bar background when the window is inactive. Note that this color is currently only supported on macOS.'
description: 'Title bar background when the window is inactive. Note that this color is currently only supported on macOS.',
}, {
id: 'titleBar.border', defaults: {
hc: 'contrastBorder'
}, description: 'Title bar border color. Note that this color is currently only supported on macOS.'
id: 'titleBar.border',
defaults: {
dark: 'editor.lineColor',
},
description: 'Title bar border color. Note that this color is currently only supported on macOS.',
},
// Dropdown
{
id: 'dropdown.background',
defaults: {
dark: dropdownBackgroundColor,
},
description: 'dropdown background color',
},
// Menu Bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#menu-bar-colors
{
id: 'menubar.selectionForeground', defaults: {
id: 'menubar.selectionForeground',
defaults: {
dark: 'titleBar.activeForeground',
light: 'titleBar.activeForeground',
hc: 'titleBar.activeForeground'
}, description: 'Foreground color of the selected menu item in the menubar.'
},
description: 'Foreground color of the selected menu item in the menubar.',
}, {
id: 'menubar.selectionBackground', defaults: {
dark: color_registry_1.Color.transparent('#ffffff', 0.1),
light: color_registry_1.Color.transparent('#000000', 0.1)
}, description: 'Background color of the selected menu item in the menubar.'
id: 'menubar.selectionBackground',
defaults: {
dark: color_registry_1.Color.transparent(lightColor, 0.1),
},
description: 'Background color of the selected menu item in the menubar.',
}, {
id: 'menubar.selectionBorder', defaults: {
hc: 'activeContrastBorder'
}, description: 'Border color of the selected menu item in the menubar.'
id: 'menubar.selectionBorder',
defaults: {},
description: 'Border color of the selected menu item in the menubar.',
}, {
id: 'menu.border', defaults: {
hc: 'contrastBorder'
}, description: 'Border color of menus.'
id: 'menu.border',
defaults: {},
description: 'Border color of menus.',
}, {
id: 'menu.foreground', defaults: {
dark: 'dropdown.foreground', light: 'foreground', hc: 'dropdown.foreground'
id: 'menu.foreground',
defaults: {
dark: 'dropdown.foreground',
},
description: 'Foreground color of menu items.'
description: 'Foreground color of menu items.',
}, {
id: 'menu.background', defaults: {
dark: 'dropdown.background', light: 'dropdown.background', hc: 'dropdown.background'
}, description: 'Background color of menu items.'
id: 'menu.background',
defaults: {
dark: 'dropdown.background',
},
description: 'Background color of menu items.',
}, {
id: 'menu.selectionForeground', defaults: {
id: 'menu.selectionForeground',
defaults: {
dark: 'list.activeSelectionForeground',
light: 'list.activeSelectionForeground',
hc: 'list.activeSelectionForeground'
}, description: 'Foreground color of the selected menu item in menus.'
},
description: 'Foreground color of the selected menu item in menus.',
}, {
id: 'menu.selectionBackground', defaults: {
id: 'menu.selectionBackground',
defaults: {
dark: 'list.activeSelectionBackground',
light: 'list.activeSelectionBackground',
hc: 'list.activeSelectionBackground'
},
description: 'Background color of the selected menu item in menus.'
description: 'Background color of the selected menu item in menus.',
}, {
id: 'menu.selectionBorder', defaults: {
hc: 'activeContrastBorder'
}, description: 'Border color of the selected menu item in menus.'
id: 'menu.selectionBorder',
defaults: {},
description: 'Border color of the selected menu item in menus.',
}, {
id: 'menu.separatorBackground', defaults: {
dark: '#BBBBBB', light: '#888888', hc: 'contrastBorder'
id: 'menu.separatorBackground',
defaults: {
dark: '#BBBBBB',
},
description: 'Color of a separator menu item in menus.'
description: 'Color of a separator menu item in menus.',
},
// Welcome Page colors should be aligned with https://code.visualstudio.com/api/references/theme-color#welcome-page
{ id: 'welcomePage.background', description: 'Background color for the Welcome page.' }, {
{
id: 'welcomePage.background',
description: 'Background color for the Welcome page.',
}, {
id: 'welcomePage.buttonBackground',
defaults: { dark: color_registry_1.Color.rgba(0, 0, 0, .2), light: color_registry_1.Color.rgba(0, 0, 0, .04), hc: color_registry_1.Color.black },
description: 'Background color for the buttons on the Welcome page.'
defaults: {
dark: color_registry_1.Color.rgba(0, 0, 0, 0.2),
},
description: 'Background color for the buttons on the Welcome page.',
}, {
id: 'welcomePage.buttonHoverBackground',
defaults: { dark: color_registry_1.Color.rgba(200, 235, 255, .072), light: color_registry_1.Color.rgba(0, 0, 0, .10) },
description: 'Hover background color for the buttons on the Welcome page.'
defaults: {
dark: color_registry_1.Color.rgba(200, 235, 255, 0.072),
},
description: 'Hover background color for the buttons on the Welcome page.',
}, {
id: 'walkThrough.embeddedEditorBackground',
defaults: { dark: color_registry_1.Color.rgba(0, 0, 0, .4), light: '#f4f4f4' },
description: 'Background color for the embedded editors on the Interactive Playground.'
defaults: { dark: color_registry_1.Color.rgba(0, 0, 0, 0.4) },
description: 'Background color for the embedded editors on the Interactive Playground.',
},
// Settings Editor colors should be aligned with https://code.visualstudio.com/api/references/theme-color#settings-editor-colors
{
id: 'settings.headerForeground', defaults: {
light: '#444444', dark: '#e7e7e7', hc: '#ffffff'
}, description: 'The foreground color for a section header or active title.'
id: 'settings.headerForeground',
defaults: {
dark: '#e7e7e7',
},
description: 'The foreground color for a section header or active title.',
}, {
id: 'settings.modifiedItemIndicator', defaults: {
light: color_registry_1.Color.rgba(102, 175, 224),
id: 'settings.modifiedItemIndicator',
defaults: {
dark: color_registry_1.Color.rgba(12, 125, 157),
hc: color_registry_1.Color.rgba(0, 73, 122)
}, description: 'The color of the modified setting indicator.'
},
description: 'The color of the modified setting indicator.',
}, {
id: 'settings.dropdownBackground', defaults: { dark: 'dropdown.background', light: 'dropdown.background', hc: 'dropdown.background' },
description: 'Settings editor dropdown background.'
id: 'settings.dropdownBackground',
defaults: {
dark: 'dropdown.background',
},
description: 'Settings editor dropdown background.',
}, {
id: 'settings.dropdownForeground', defaults: {
dark: 'dropdown.foreground', light: 'dropdown.foreground', hc: 'dropdown.foreground'
}, description: 'Settings editor dropdown foreground.'
id: 'settings.dropdownForeground',
defaults: {
dark: 'dropdown.foreground',
},
description: 'Settings editor dropdown foreground.',
}, {
id: 'settings.dropdownBorder', defaults: {
dark: 'dropdown.border', light: 'dropdown.border', hc: 'dropdown.border'
}, description: 'Settings editor dropdown border.'
id: 'settings.dropdownBorder',
defaults: {
dark: 'dropdown.border',
},
description: 'Settings editor dropdown border.',
}, {
id: 'settings.dropdownListBorder',
defaults: {
dark: 'editorWidget.border', light: 'editorWidget.border', hc: 'editorWidget.border'
dark: 'editorWidget.border',
},
description: 'Settings editor dropdown list border. This surrounds the options and separates the options from the description.'
description: 'Settings editor dropdown list border. This surrounds the options and separates the options from the description.',
}, {
id: 'settings.checkboxBackground', defaults: {
dark: 'checkbox.background', light: 'checkbox.background', hc: 'checkbox.background'
}, description: 'Settings editor checkbox background.'
id: 'settings.checkboxBackground',
defaults: {
dark: 'checkbox.background',
},
description: 'Settings editor checkbox background.',
}, {
id: 'settings.checkboxForeground', defaults: {
dark: 'checkbox.foreground', light: 'checkbox.foreground', hc: 'checkbox.foreground'
}, description: 'Settings editor checkbox foreground.'
id: 'settings.checkboxForeground',
defaults: {
dark: 'checkbox.foreground',
},
description: 'Settings editor checkbox foreground.',
}, {
id: 'settings.checkboxBorder', defaults: {
dark: 'checkbox.border', light: 'checkbox.border', hc: 'checkbox.border'
}, description: 'Settings editor checkbox border.'
id: 'settings.checkboxBorder',
defaults: {
dark: 'checkbox.border',
},
description: 'Settings editor checkbox border.',
}, {
id: 'settings.textInputBackground', defaults: {
dark: 'input.background', light: 'input.background', hc: 'input.background'
}, description: 'Settings editor text input box background.'
id: 'settings.textInputBackground',
defaults: {
dark: 'input.background',
},
description: 'Settings editor text input box background.',
}, {
id: 'settings.textInputForeground', defaults: {
dark: 'input.foreground', light: 'input.foreground', hc: 'input.foreground'
}, description: 'Settings editor text input box foreground.'
id: 'settings.textInputForeground',
defaults: {
dark: 'input.foreground',
},
description: 'Settings editor text input box foreground.',
}, {
id: 'settings.textInputBorder', defaults: {
dark: 'input.border', light: 'input.border', hc: 'input.border'
}, description: 'Settings editor text input box border.'
id: 'settings.textInputBorder',
defaults: {
dark: 'input.border',
},
description: 'Settings editor text input box border.',
}, {
id: 'settings.numberInputBackground', defaults: {
dark: 'input.background', light: 'input.background', hc: 'input.background'
}, description: 'Settings editor number input box background.'
id: 'settings.numberInputBackground',
defaults: {
dark: 'input.background',
},
description: 'Settings editor number input box background.',
}, {
id: 'settings.numberInputForeground', defaults: {
dark: 'input.foreground', light: 'input.foreground', hc: 'input.foreground'
}, description: 'Settings editor number input box foreground.'
id: 'settings.numberInputForeground',
defaults: {
dark: 'input.foreground',
},
description: 'Settings editor number input box foreground.',
}, {
id: 'settings.numberInputBorder', defaults: {
dark: 'input.border', light: 'input.border', hc: 'input.border'
}, description: 'Settings editor number input box border.'
id: 'settings.numberInputBorder',
defaults: {
dark: 'input.border',
},
description: 'Settings editor number input box border.',
},
// Theia Variable colors
{
id: 'variable.name.color', defaults: {
id: 'variable.name.color',
defaults: {
dark: '#C586C0',
light: '#9B46B0',
hc: '#C586C0'
},
description: 'Color of a variable name.'
description: 'Color of a variable name.',
}, {
id: 'variable.value.color', defaults: {
id: 'variable.value.color',
defaults: {
dark: color_registry_1.Color.rgba(204, 204, 204, 0.6),
light: color_registry_1.Color.rgba(108, 108, 108, 0.8),
hc: color_registry_1.Color.rgba(204, 204, 204, 0.6)
},
description: 'Color of a variable value.'
description: 'Color of a variable value.',
}, {
id: 'variable.number.variable.color', defaults: {
id: 'variable.number.variable.color',
defaults: {
dark: '#B5CEA8',
light: '#09885A',
hc: '#B5CEA8'
},
description: 'Value color of a number variable'
description: 'Value color of a number variable',
}, {
id: 'variable.boolean.variable.color', defaults: {
id: 'variable.boolean.variable.color',
defaults: {
dark: '#4E94CE',
light: '#0000FF',
hc: '#4E94CE'
},
description: 'Value color of a boolean variable'
description: 'Value color of a boolean variable',
}, {
id: 'variable.string.variable.color', defaults: {
id: 'variable.string.variable.color',
defaults: {
dark: '#CE9178',
light: '#A31515',
hc: '#CE9178'
},
description: 'Value color of a string variable'
description: 'Value color of a string variable',
},
// Theia ANSI colors
{
id: 'ansi.black.color', defaults: {
id: 'ansi.black.color',
defaults: {
dark: '#A0A0A0',
light: color_registry_1.Color.rgba(128, 128, 128),
hc: '#A0A0A0'
},
description: 'ANSI black color'
description: 'ANSI black color',
}, {
id: 'ansi.red.color', defaults: {
id: 'ansi.red.color',
defaults: {
dark: '#A74747',
light: '#BE1717',
hc: '#A74747'
},
description: 'ANSI red color'
description: 'ANSI red color',
}, {
id: 'ansi.green.color', defaults: {
id: 'ansi.green.color',
defaults: {
dark: '#348F34',
light: '#338A2F',
hc: '#348F34'
},
description: 'ANSI green color'
description: 'ANSI green color',
}, {
id: 'ansi.yellow.color', defaults: {
id: 'ansi.yellow.color',
defaults: {
dark: '#5F4C29',
light: '#BEB817',
hc: '#5F4C29'
},
description: 'ANSI yellow color'
description: 'ANSI yellow color',
}, {
id: 'ansi.blue.color', defaults: {
id: 'ansi.blue.color',
defaults: {
dark: '#6286BB',
light: color_registry_1.Color.rgba(0, 0, 139),
hc: '#6286BB'
},
description: 'ANSI blue color'
description: 'ANSI blue color',
}, {
id: 'ansi.magenta.color', defaults: {
id: 'ansi.magenta.color',
defaults: {
dark: '#914191',
light: color_registry_1.Color.rgba(139, 0, 139),
hc: '#914191'
},
description: 'ANSI magenta color'
description: 'ANSI magenta color',
}, {
id: 'ansi.cyan.color', defaults: {
id: 'ansi.cyan.color',
defaults: {
dark: '#218D8D',
light: color_registry_1.Color.rgba(0, 139, 139),
hc: '#218D8D'
},
description: 'ANSI cyan color'
description: 'ANSI cyan color',
}, {
id: 'ansi.white.color', defaults: {
id: 'ansi.white.color',
defaults: {
dark: '#707070',
light: '#BDBDBD',
hc: '#707070'
},
description: 'ANSI white color'
description: 'ANSI white color',
},

@@ -776,5 +776,4 @@ // Theia defaults

dark: 'inputValidation.errorBackground',
light: 'inputValidation.errorBackground',
hc: 'inputValidation.errorBackground'
}, description: 'Background color of error widgets (like alerts or notifications).'
},
description: 'Background color of error widgets (like alerts or notifications).',
}, {

@@ -784,5 +783,4 @@ id: 'successBackground',

dark: 'editorGutter.addedBackground',
light: 'editorGutter.addedBackground',
hc: 'editorGutter.addedBackground'
}, description: 'Background color of success widgets (like alerts or notifications).'
},
description: 'Background color of success widgets (like alerts or notifications).',
}, {

@@ -792,5 +790,4 @@ id: 'warningBackground',

dark: 'editorWarning.foreground',
light: 'editorWarning.foreground',
hc: 'editorWarning.border'
}, description: 'Background color of warning widgets (like alerts or notifications).'
},
description: 'Background color of warning widgets (like alerts or notifications).',
}, {

@@ -800,5 +797,4 @@ id: 'warningForeground',

dark: 'inputValidation.warningBackground',
light: 'inputValidation.warningBackground',
hc: 'inputValidation.warningBackground'
}, description: 'Foreground color of warning widgets (like alerts or notifications).'
},
description: 'Foreground color of warning widgets (like alerts or notifications).',
},

@@ -810,5 +806,4 @@ // Statusbar

dark: 'editorWarning.foreground',
light: 'editorWarning.foreground',
hc: 'editorWarning.foreground'
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
},
description: 'Background of hovered statusbar item in case the theia server is offline.',
}, {

@@ -818,5 +813,4 @@ id: 'statusBar.offlineForeground',

dark: 'editor.background',
light: 'editor.background',
hc: 'editor.background'
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
},
description: 'Background of hovered statusbar item in case the theia server is offline.',
}, {

@@ -826,5 +820,4 @@ id: 'statusBarItem.offlineHoverBackground',

dark: color_registry_1.Color.lighten('statusBar.offlineBackground', 0.4),
light: color_registry_1.Color.lighten('statusBar.offlineBackground', 0.4),
hc: color_registry_1.Color.lighten('statusBar.offlineBackground', 0.4)
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
},
description: 'Background of hovered statusbar item in case the theia server is offline.',
}, {

@@ -834,5 +827,4 @@ id: 'statusBarItem.offlineActiveBackground',

dark: color_registry_1.Color.lighten('statusBar.offlineBackground', 0.6),
light: color_registry_1.Color.lighten('statusBar.offlineBackground', 0.6),
hc: color_registry_1.Color.lighten('statusBar.offlineBackground', 0.6)
}, description: 'Background of active statusbar item in case the theia server is offline.'
},
description: 'Background of active statusbar item in case the theia server is offline.',
},

@@ -844,5 +836,4 @@ // Buttons

dark: 'dropdown.foreground',
light: 'dropdown.foreground',
hc: 'dropdown.foreground'
}, description: 'Foreground color of secondary buttons.'
},
description: 'Foreground color of secondary buttons.',
}, {

@@ -852,5 +843,4 @@ id: 'secondaryButton.disabledForeground',

dark: color_registry_1.Color.transparent('secondaryButton.foreground', 0.5),
light: color_registry_1.Color.transparent('secondaryButton.foreground', 0.5),
hc: color_registry_1.Color.transparent('secondaryButton.foreground', 0.5),
}, description: 'Foreground color of secondary buttons.'
},
description: 'Foreground color of secondary buttons.',
}, {

@@ -860,4 +850,4 @@ id: 'secondaryButton.background',

dark: color_registry_1.Color.lighten('dropdown.background', 0.5),
light: color_registry_1.Color.lighten('dropdown.background', 0.5)
}, description: 'Background color of secondary buttons.'
},
description: 'Background color of secondary buttons.',
}, {

@@ -867,4 +857,4 @@ id: 'secondaryButton.hoverBackground',

dark: color_registry_1.Color.lighten('secondaryButton.background', 0.2),
light: color_registry_1.Color.lighten('secondaryButton.background', 0.2)
}, description: 'Background color when hovering secondary buttons.'
},
description: 'Background color when hovering secondary buttons.',
}, {

@@ -874,4 +864,4 @@ id: 'secondaryButton.disabledBackground',

dark: color_registry_1.Color.transparent('secondaryButton.background', 0.6),
light: color_registry_1.Color.transparent('secondaryButton.background', 0.6)
}, description: 'Background color when hovering secondary buttons.'
},
description: 'Background color when hovering secondary buttons.',
}, {

@@ -881,5 +871,4 @@ id: 'button.disabledForeground',

dark: color_registry_1.Color.transparent('button.foreground', 0.5),
light: color_registry_1.Color.transparent('button.foreground', 0.5),
hc: color_registry_1.Color.transparent('button.foreground', 0.5)
}, description: 'Foreground color of secondary buttons.'
},
description: 'Foreground color of secondary buttons.',
}, {

@@ -889,8 +878,32 @@ id: 'button.disabledBackground',

dark: color_registry_1.Color.transparent('button.background', 0.5),
light: color_registry_1.Color.transparent('button.background', 0.5)
}, description: 'Background color of secondary buttons.'
},
description: 'Background color of secondary buttons.',
}, {
id: 'snapshot.background',
defaults: {
dark: panelLightBackgroundColor,
},
description: 'Snapshot background color',
}, {
id: 'editorWidget.background',
defaults: {
dark: 'dropdown.background'
},
description: 'widget background color'
}, {
id: 'input-background',
defaults: {
dark: inputBackground
},
description: 'input background'
}, {
id: 'input-border',
defaults: {
dark: primaryColor
},
description: 'input background'
});
};
DefaultColorContribution = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], DefaultColorContribution);

@@ -897,0 +910,0 @@ return DefaultColorContribution;

@@ -75,3 +75,3 @@ "use strict";

if (uri.scheme !== DiffUris.DIFF_SCHEME) {
throw new Error(("The URI must have scheme \"diff\". The URI was: " + uri + "."));
throw new Error(("The URI must have scheme \"diff\". The URI was: ".concat(uri, ".")));
}

@@ -108,3 +108,3 @@ var diffUris = JSON.parse(uri.query);

}
return leftLongName + " \u27F7 " + rightLongName;
return "".concat(leftLongName, " \u27F7 ").concat(rightLongName);
};

@@ -118,3 +118,3 @@ DiffUriLabelProviderContribution.prototype.getName = function (uri) {

if (left.path.toString() === right.path.toString() && left.query && right.query) {
return left.displayName + ": " + left.query + " \u27F7 " + right.query;
return "".concat(left.displayName, ": ").concat(left.query, " \u27F7 ").concat(right.query);
}

@@ -124,3 +124,3 @@ else {

if (left.path.toString() !== right.path.toString() && left.displayName !== uri.displayName) {
title = uri.displayName + ": ";
title = "".concat(uri.displayName, ": ");
}

@@ -135,3 +135,3 @@ else {

}
return "" + title + leftLongName + " \u27F7 " + rightLongName;
return "".concat(title).concat(leftLongName, " \u27F7 ").concat(rightLongName);
}

@@ -162,4 +162,4 @@ };

DiffUriLabelProviderContribution = __decorate([
inversify_1.injectable(),
__param(0, inversify_1.inject(label_provider_1.LabelProvider)),
(0, inversify_1.injectable)(),
__param(0, (0, inversify_1.inject)(label_provider_1.LabelProvider)),
__metadata("design:paramtypes", [label_provider_1.LabelProvider])

@@ -166,0 +166,0 @@ ], DiffUriLabelProviderContribution);

@@ -119,12 +119,12 @@ "use strict";

__decorate([
inversify_1.inject(icon_theme_service_1.IconThemeService),
(0, inversify_1.inject)(icon_theme_service_1.IconThemeService),
__metadata("design:type", icon_theme_service_1.IconThemeService)
], IconThemeApplicationContribution.prototype, "iconThemes", void 0);
__decorate([
inversify_1.inject(utils_1.ContributionProvider),
inversify_1.named(exports.IconThemeContribution),
(0, inversify_1.inject)(utils_1.ContributionProvider),
(0, inversify_1.named)(exports.IconThemeContribution),
__metadata("design:type", Object)
], IconThemeApplicationContribution.prototype, "iconThemeContributions", void 0);
IconThemeApplicationContribution = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], IconThemeApplicationContribution);

@@ -150,3 +150,3 @@ return IconThemeApplicationContribution;

DefaultFileIconThemeContribution = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], DefaultFileIconThemeContribution);

@@ -153,0 +153,0 @@ return DefaultFileIconThemeContribution;

@@ -62,3 +62,3 @@ "use strict";

NoneIconTheme = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], NoneIconTheme);

@@ -127,3 +127,3 @@ return NoneIconTheme;

if (this._iconThemes.has(iconTheme.id)) {
console.warn(new Error("Icon theme '" + iconTheme.id + "' has already been registered, skipping."));
console.warn(new Error("Icon theme '".concat(iconTheme.id, "' has already been registered, skipping.")));
return utils_1.Disposable.NULL;

@@ -173,7 +173,7 @@ }

__decorate([
inversify_1.inject(NoneIconTheme),
(0, inversify_1.inject)(NoneIconTheme),
__metadata("design:type", NoneIconTheme)
], IconThemeService.prototype, "noneIconTheme", void 0);
__decorate([
inversify_1.postConstruct(),
(0, inversify_1.postConstruct)(),
__metadata("design:type", Function),

@@ -184,3 +184,3 @@ __metadata("design:paramtypes", []),

IconThemeService = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], IconThemeService);

@@ -187,0 +187,0 @@ return IconThemeService;

@@ -10,3 +10,3 @@ "use strict";

var __exportStar = (this && this.__exportStar) || function(m, exports) {
for (var p in m) if (p !== "default" && !exports.hasOwnProperty(p)) __createBinding(exports, m, p);
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
};

@@ -13,0 +13,0 @@ Object.defineProperty(exports, "__esModule", { value: true });

@@ -96,3 +96,3 @@ "use strict";

LabelParser = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], LabelParser);

@@ -99,0 +99,0 @@ return LabelParser;

@@ -39,3 +39,3 @@ "use strict";

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(0);
(0, chai_1.expect)(iconArr).to.have.lengthOf(0);
});

@@ -45,4 +45,4 @@ it('should create a string array with one entry.', function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(1);
chai_1.expect(iconArr[0]).equals('foo bar');
(0, chai_1.expect)(iconArr).to.have.lengthOf(1);
(0, chai_1.expect)(iconArr[0]).equals('foo bar');
});

@@ -52,4 +52,4 @@ it('should create a string array with one entry - text contains an $.', function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(1);
chai_1.expect(iconArr[0]).equals('foo $ bar');
(0, chai_1.expect)(iconArr).to.have.lengthOf(1);
(0, chai_1.expect)(iconArr[0]).equals('foo $ bar');
});

@@ -59,4 +59,4 @@ it('should create a string array with one entry - text contains an $( which does not close.', function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(1);
chai_1.expect(iconArr[0]).equals('foo $(bar');
(0, chai_1.expect)(iconArr).to.have.lengthOf(1);
(0, chai_1.expect)(iconArr[0]).equals('foo $(bar');
});

@@ -66,8 +66,8 @@ it('should create a string array with two entries. Second is a simple StatusBarIcon.', function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(2);
chai_1.expect(iconArr[0]).equals('foo ');
chai_1.expect(iconArr[1]).has.property('name');
chai_1.expect(iconArr[1]).has.property('animation');
chai_1.expect(iconArr[1].name).equals('bar');
chai_1.expect(iconArr[1].animation).to.be.undefined;
(0, chai_1.expect)(iconArr).to.have.lengthOf(2);
(0, chai_1.expect)(iconArr[0]).equals('foo ');
(0, chai_1.expect)(iconArr[1]).has.property('name');
(0, chai_1.expect)(iconArr[1]).has.property('animation');
(0, chai_1.expect)(iconArr[1].name).equals('bar');
(0, chai_1.expect)(iconArr[1].animation).to.be.undefined;
});

@@ -77,8 +77,8 @@ it('should create a string array with two entries. Second is a StatusBarIcon with an animation.', function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(2);
chai_1.expect(iconArr[0]).equals('foo ');
chai_1.expect(iconArr[1]).has.property('name');
chai_1.expect(iconArr[1]).has.property('animation');
chai_1.expect(iconArr[1].name).equals('bar');
chai_1.expect(iconArr[1].animation).equals('baz');
(0, chai_1.expect)(iconArr).to.have.lengthOf(2);
(0, chai_1.expect)(iconArr[0]).equals('foo ');
(0, chai_1.expect)(iconArr[1]).has.property('name');
(0, chai_1.expect)(iconArr[1]).has.property('animation');
(0, chai_1.expect)(iconArr[1].name).equals('bar');
(0, chai_1.expect)(iconArr[1].animation).equals('baz');
});

@@ -88,5 +88,5 @@ it("should create string array of 'foo $(icon1) bar $(icon2) baz $(icon3)'", function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(6);
chai_1.expect(iconArr[0]).equals('foo ');
chai_1.expect(iconArr[2]).equals(' bar ');
(0, chai_1.expect)(iconArr).to.have.lengthOf(6);
(0, chai_1.expect)(iconArr[0]).equals('foo ');
(0, chai_1.expect)(iconArr[2]).equals(' bar ');
});

@@ -96,7 +96,7 @@ it("should create string array of '$(icon1) foo bar $(icon2) baz $(icon3)'", function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(5);
chai_1.expect(iconArr[0]).has.property('name');
chai_1.expect(iconArr[0].name).equals('icon1');
chai_1.expect(iconArr[2]).has.property('animation');
chai_1.expect(iconArr[2].animation).equals('ani1');
(0, chai_1.expect)(iconArr).to.have.lengthOf(5);
(0, chai_1.expect)(iconArr[0]).has.property('name');
(0, chai_1.expect)(iconArr[0].name).equals('icon1');
(0, chai_1.expect)(iconArr[2]).has.property('animation');
(0, chai_1.expect)(iconArr[2].animation).equals('ani1');
});

@@ -106,5 +106,5 @@ it("should create an array with one element of '$(icon1)'", function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(1);
chai_1.expect(iconArr[0]).has.property('name');
chai_1.expect(iconArr[0].name).equals('icon1');
(0, chai_1.expect)(iconArr).to.have.lengthOf(1);
(0, chai_1.expect)(iconArr[0]).has.property('name');
(0, chai_1.expect)(iconArr[0].name).equals('icon1');
});

@@ -114,12 +114,12 @@ it("should create an array of '$(icon1)$(icon2) (icon3)'", function () {

var iconArr = statusBarEntryUtility.parse(text);
chai_1.expect(iconArr).to.have.lengthOf(4);
chai_1.expect(iconArr[0]).has.property('name');
chai_1.expect(iconArr[0].name).equals('icon1');
chai_1.expect(iconArr[1]).has.property('name');
chai_1.expect(iconArr[1].name).equals('icon2');
chai_1.expect(iconArr[2]).equals(' ');
chai_1.expect(iconArr[3]).has.property('name');
chai_1.expect(iconArr[3].name).equals('icon3');
(0, chai_1.expect)(iconArr).to.have.lengthOf(4);
(0, chai_1.expect)(iconArr[0]).has.property('name');
(0, chai_1.expect)(iconArr[0].name).equals('icon1');
(0, chai_1.expect)(iconArr[1]).has.property('name');
(0, chai_1.expect)(iconArr[1].name).equals('icon2');
(0, chai_1.expect)(iconArr[2]).equals(' ');
(0, chai_1.expect)(iconArr[3]).has.property('name');
(0, chai_1.expect)(iconArr[3].name).equals('icon3');
});
});
//# sourceMappingURL=label-parser.spec.js.map

@@ -128,3 +128,3 @@ "use strict";

DefaultUriLabelProviderContribution = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], DefaultUriLabelProviderContribution);

@@ -291,8 +291,8 @@ return DefaultUriLabelProviderContribution;

__decorate([
inversify_1.inject(utils_1.ContributionProvider),
inversify_1.named(exports.LabelProviderContribution),
(0, inversify_1.inject)(utils_1.ContributionProvider),
(0, inversify_1.named)(exports.LabelProviderContribution),
__metadata("design:type", Object)
], LabelProvider.prototype, "contributionProvider", void 0);
LabelProvider = __decorate([
inversify_1.injectable()
(0, inversify_1.injectable)()
], LabelProvider);

@@ -299,0 +299,0 @@ return LabelProvider;

@@ -25,3 +25,3 @@ "use strict";

var shortName = prov.getName(new utils_1.URI('file:///tmp/hello/you.txt'));
chai_1.expect(shortName).eq('you.txt');
(0, chai_1.expect)(shortName).eq('you.txt');
});

@@ -31,3 +31,3 @@ it('should return a long name', function () {

var longName = prov.getLongName(new utils_1.URI('file:///tmp/hello/you.txt'));
chai_1.expect(longName).eq('/tmp/hello/you.txt');
(0, chai_1.expect)(longName).eq('/tmp/hello/you.txt');
});

@@ -37,3 +37,3 @@ it('should return icon class for something that seems to be a file', function () {

var icon = prov.getIcon(new utils_1.URI('file:///tmp/hello/you.txt'));
chai_1.expect(icon).eq('text-icon medium-blue theia-file-icons-js');
(0, chai_1.expect)(icon).eq('text-icon medium-blue theia-file-icons-js');
});

@@ -43,3 +43,3 @@ it('should return file icon class for something that seems to be a directory', function () {

var icon = prov.getIcon(new utils_1.URI('file:///tmp/hello'));
chai_1.expect(icon).eq(prov.defaultFileIcon);
(0, chai_1.expect)(icon).eq(prov.defaultFileIcon);
});

@@ -49,5 +49,5 @@ it('should return folder icon class for something that is a directory', function () {

var icon = prov.getIcon(label_provider_1.URIIconReference.create('folder', new utils_1.URI('file:///tmp/hello')));
chai_1.expect(icon).eq(prov.defaultFolderIcon);
(0, chai_1.expect)(icon).eq(prov.defaultFolderIcon);
});
});
//# sourceMappingURL=label-provider.spec.js.map

@@ -18,5 +18,10 @@ "use strict";

};
var __spread = (this && this.__spread) || function () {
for (var ar = [], i = 0; i < arguments.length; i++) ar = ar.concat(__read(arguments[i]));
return ar;
var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
if (ar || !(i in from)) {
if (!ar) ar = Array.prototype.slice.call(from, 0, i);
ar[i] = from[i];
}
}
return to.concat(ar || Array.prototype.slice.call(from));
};

@@ -31,3 +36,3 @@ Object.defineProperty(exports, "__esModule", { value: true });

var themeService = _1.ThemeService.get();
themeService.register.apply(themeService, __spread(_1.BuiltinThemeProvider.themes));
themeService.register.apply(themeService, __spreadArray([], __read(_1.BuiltinThemeProvider.themes), false));
themeService.startupTheme();

@@ -37,3 +42,3 @@ bind(_1.NoneIconTheme).toSelf().inSingletonScope();

bind(_1.IconThemeService).toSelf().inSingletonScope();
utils_1.bindContributionProvider(bind, _1.IconThemeContribution);
(0, utils_1.bindContributionProvider)(bind, _1.IconThemeContribution);
bind(_1.DefaultFileIconThemeContribution).toSelf().inSingletonScope();

@@ -45,7 +50,7 @@ bind(default_color_contribution_1.DefaultColorContribution).toSelf().inSingletonScope();

bind(_1.ColorRegistry).toSelf().inSingletonScope();
utils_1.bindContributionProvider(bind, _1.ColorContribution);
(0, utils_1.bindContributionProvider)(bind, _1.ColorContribution);
bind(_1.ColorApplicationContribution).toSelf().inSingletonScope();
bind(browser_1.FrontendApplicationContribution).toService(_1.ColorApplicationContribution);
bind(_1.ColorContribution).toService(default_color_contribution_1.DefaultColorContribution);
utils_1.bindContributionProvider(bind, _1.LabelProviderContribution);
(0, utils_1.bindContributionProvider)(bind, _1.LabelProviderContribution);
bind(_1.LabelProvider).toSelf().inSingletonScope();

@@ -52,0 +57,0 @@ bind(_1.LabelParser).toSelf().inSingletonScope();

@@ -134,3 +134,4 @@ "use strict";

this.themeChange.fire({
newTheme: newTheme, oldTheme: oldTheme
newTheme: newTheme,
oldTheme: oldTheme
});

@@ -137,0 +138,0 @@ };

{
"name": "@gedit/theme",
"version": "0.1.61",
"version": "0.1.62",
"license": "MIT",

@@ -12,4 +12,4 @@ "main": "lib/browser/index",

"dependencies": {
"@gedit/application-common": "^0.1.61",
"@gedit/utils": "^0.1.63"
"@gedit/application-common": "^0.1.62",
"@gedit/utils": "^0.1.64"
},

@@ -31,3 +31,3 @@ "geditExtensions": [

},
"gitHead": "9b41f77f8ae3b6aa3bf567402f699b5faaff532b"
"gitHead": "db74e452a213a016b3be82938fe68df8fdde2e6b"
}

@@ -6,2 +6,17 @@ /* eslint-disable max-len, @typescript-eslint/indent */

const primaryColor = '#6c36e6';
const backgroundColor = '#06030E';
const panelBarBackgroundColor = '#110D23';
const panelLightBackgroundColor = '#0B0917';
const panelActiveColor = panelLightBackgroundColor;
const navBackgroundColor = '#0E0B1B';
const dropdownBackgroundColor = '#100A22';
const lightColor = '#ffffff';
const baseLineColor = '#231E39';
const inputBackground = '#090711';
@injectable()

@@ -11,2 +26,12 @@ export class DefaultColorContribution implements ColorContribution {

colors.register(
{
id: 'editor.background',
defaults: { dark: backgroundColor },
description: 'editor background color',
},
{
id: 'editor.lineColor',
defaults: { dark: baseLineColor },
description: 'line color',
},
// Base Colors should be aligned with https://code.visualstudio.com/api/references/theme-color#base-colors

@@ -16,9 +41,10 @@ // if not yet contributed by Monaco, check runtime css variables to learn

id: 'selection.background',
defaults: {dark: '#217daf', light: '#c0dbf1'},
description: 'Overall border color for focused elements. This color is only used if not overridden by a component.'
defaults: { dark: primaryColor },
description:
'Overall border color for focused elements. This color is only used if not overridden by a component.',
},
{
id: 'icon.foreground',
defaults: {dark: '#C5C5C5', light: '#424242', hc: '#FFFFFF'},
description: 'The default color for icons in the workbench.'
defaults: { dark: '#C5C5C5' },
description: 'The default color for icons in the workbench.',
},

@@ -28,11 +54,12 @@

{
id: 'window.activeBorder', defaults: {
hc: 'contrastBorder'
}, description: 'The color used for the border of the window when it is active.'
id: 'window.activeBorder',
defaults: {},
description:
'The color used for the border of the window when it is active.',
},
{
id: 'window.inactiveBorder', defaults: {
hc: 'contrastBorder'
},
description: 'The color used for the border of the window when it is inactive.'
id: 'window.inactiveBorder',
defaults: {},
description:
'The color used for the border of the window when it is inactive.',
},

@@ -44,10 +71,16 @@

id: 'button.foreground',
defaults: {dark: Color.white, light: Color.white, hc: Color.white},
description: 'Button foreground color.'
defaults: { dark: lightColor },
description: 'Button foreground color.',
},
{id: 'button.background', defaults: {dark: '#0E639C', light: '#007ACC'}, description: 'Button background color.'},
{
id: 'button.background',
defaults: { dark: primaryColor },
description: 'Button background color.',
},
{
id: 'button.hoverBackground',
defaults: {dark: Color.lighten('button.background', 0.2), light: Color.darken('button.background', 0.2)},
description: 'Button background color when hovering.'
defaults: {
dark: Color.lighten('button.background', 0.85),
},
description: 'Button background color when hovering.',
},

@@ -59,7 +92,6 @@

defaults: {
dark: '#333333',
light: '#ddd',
hc: '#000000'
dark: panelBarBackgroundColor,
},
description: 'Activity bar background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity bar background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -69,7 +101,6 @@ {

defaults: {
dark: Color.white,
light: Color.white,
hc: Color.white
dark: lightColor,
},
description: 'Activity bar item foreground color when it is active. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
description:
'Activity bar item foreground color when it is active. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -80,6 +111,5 @@ {

dark: Color.transparent('activityBar.foreground', 0.4),
light: Color.transparent('activityBar.foreground', 0.4),
hc: Color.white
},
description: 'Activity bar item foreground color when it is inactive. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity bar item foreground color when it is inactive. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -89,5 +119,6 @@ {

defaults: {
hc: 'contrastBorder'
hc: 'contrastBorder',
},
description: 'Activity bar border color separating to the side bar. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity bar border color separating to the side bar. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -97,14 +128,19 @@ {

defaults: {
dark: 'activityBar.foreground',
light: 'activityBar.foreground',
dark: primaryColor,
},
description: 'Activity bar border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity bar border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},
{
id: 'activityBar.activeFocusBorder',
description: 'Activity bar focus border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity bar focus border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},
{
id: 'activityBar.activeBackground',
description: 'Activity bar background color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
defaults: {
dark: panelActiveColor,
},
description:
'Activity bar background color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -114,7 +150,6 @@ {

defaults: {
dark: Color.transparent('#ffffff', 0.12),
light: Color.transparent('#ffffff', 0.12),
hc: Color.transparent('#ffffff', 0.12),
dark: Color.transparent(lightColor, 0.12),
},
description: 'Drag and drop feedback color for the activity bar items. The color should have transparency so that the activity bar entries can still shine through. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Drag and drop feedback color for the activity bar items. The color should have transparency so that the activity bar entries can still shine through. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -125,6 +160,5 @@ {

dark: '#007ACC',
light: '#007ACC',
hc: '#000000'
},
description: 'Activity notification badge background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity notification badge background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -134,7 +168,6 @@ {

defaults: {
dark: Color.white,
light: Color.white,
hc: Color.white
dark: lightColor,
},
description: 'Activity notification badge foreground color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
description:
'Activity notification badge foreground color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
},

@@ -146,27 +179,35 @@

id: 'sideBar.background',
defaults: {dark: '#252526', light: '#F3F3F3', hc: '#000000'},
description: 'Side bar background color. The side bar is the container for views like explorer and search.'
defaults: { dark: panelLightBackgroundColor },
description:
'Side bar background color. The side bar is the container for views like explorer and search.',
},
{
id: 'sideBarTitle.foreground',
defaults: {dark: '#1e1e1e', light: '#F3F3F3', hc: '#000000'},
description: 'Side Bar title foreground color.'
defaults: { dark: panelLightBackgroundColor },
description: 'Side Bar title foreground color.',
},
{
id: 'sideBar.foreground',
description: 'Side bar foreground color. The side bar is the container for views like explorer and search.'
defaults: {
dark: lightColor,
},
description:
'Side bar foreground color. The side bar is the container for views like explorer and search.',
},
{
id: 'sideBarSectionHeader.background',
defaults: {dark: '#80808033', light: '#80808033'},
description: 'Side bar section header background color. The side bar is the container for views like explorer and search.'
defaults: { dark: '#80808033' },
description:
'Side bar section header background color. The side bar is the container for views like explorer and search.',
},
{
id: 'sideBarSectionHeader.foreground',
description: 'Side bar foreground color. The side bar is the container for views like explorer and search.'
description:
'Side bar foreground color. The side bar is the container for views like explorer and search.',
},
{
id: 'sideBarSectionHeader.border',
defaults: {hc: '#6FC3DF'},
description: 'Side bar section header border color. The side bar is the container for views like explorer and search.'
defaults: {},
description:
'Side bar section header border color. The side bar is the container for views like explorer and search.',
},

@@ -183,29 +224,42 @@

id: 'list.activeSelectionBackground',
defaults: {dark: '#094771', light: '#0074E8'},
description: 'List/Tree background color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.'
defaults: { dark: '#342c6f' },
description:
'List/Tree background color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.',
},
{
id: 'list.activeSelectionForeground',
defaults: {dark: '#FFF', light: '#FFF'},
description: 'List/Tree foreground color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.'
defaults: { dark: lightColor },
description:
'List/Tree foreground color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.',
},
{
id: 'list.inactiveSelectionBackground',
defaults: {dark: '#37373D', light: '#E4E6F1'},
description: 'List/Tree background color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.'
defaults: { dark: '#262240' },
description:
'List/Tree background color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.',
},
{
id: 'list.inactiveSelectionForeground',
description: 'List/Tree foreground color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.'
description:
'List/Tree foreground color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.',
},
{
id: 'list.hoverBackground',
defaults: {dark: '#2A2D2E', light: '#F0F0F0'},
description: 'List/Tree background when hovering over items using the mouse.'
defaults: {
dark: 'tab-activeBackground',
},
description:
'List/Tree background when hovering over items using the mouse.',
},
{id: 'list.hoverForeground', description: 'List/Tree foreground when hovering over items using the mouse.'},
{
id: 'list.hoverForeground',
description:
'List/Tree foreground when hovering over items using the mouse.',
},
{
id: 'list.filterMatchBackground',
defaults: {dark: 'editor.findMatchHighlightBackground', light: 'editor.findMatchHighlightBackground'},
description: 'Background color of the filtered match.'
defaults: {
dark: 'editor.findMatchHighlightBackground',
},
description: 'Background color of the filtered match.',
},

@@ -218,6 +272,5 @@

dark: '#444444',
light: '#E7E7E7',
hc: 'contrastBorder'
},
description: 'Color to separate multiple editor groups from each other. Editor groups are the containers of editors.'
description:
'Color to separate multiple editor groups from each other. Editor groups are the containers of editors.',
},

@@ -228,5 +281,5 @@ {

dark: Color.transparent('#53595D', 0.5),
light: Color.transparent('#2677CB', 0.18)
},
description: 'Background color when dragging editors around. The color should have transparency so that the editor contents can still shine through.'
description:
'Background color when dragging editors around. The color should have transparency so that the editor contents can still shine through.',
},

@@ -236,13 +289,12 @@ {

defaults: {
dark: '#252526',
light: '#F3F3F3'
dark: 'sideBar.background',
},
description: 'Background color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.'
description:
'Background color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.',
},
{
id: 'editorGroupHeader.tabsBorder',
defaults: {
hc: 'contrastBorder'
},
description: 'Border color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.'
defaults: {},
description:
'Border color of the editor group title header when tabs are enabled. Editor groups are the containers of editors.',
},

@@ -252,7 +304,6 @@ {

defaults: {
dark: 'editor.background',
light: 'editor.background',
hc: 'editor.background'
dark: '#1f1a42',
},
description: 'Active tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Active tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -263,6 +314,5 @@ {

dark: 'tab.activeBackground',
light: 'tab.activeBackground',
hc: 'tab.activeBackground'
},
description: 'Active tab background color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Active tab background color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -272,6 +322,6 @@ {

defaults: {
dark: '#2D2D2D',
light: '#ECECEC'
dark: 'sideBar.background',
},
description: 'Inactive tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Inactive tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -281,7 +331,6 @@ {

defaults: {
dark: Color.white,
light: '#333333',
hc: Color.white
dark: lightColor,
},
description: 'Active tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Active tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -292,6 +341,5 @@ {

dark: Color.transparent('tab.activeForeground', 0.5),
light: Color.transparent('tab.activeForeground', 0.7),
hc: Color.white
},
description: 'Inactive tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Inactive tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -302,6 +350,5 @@ {

dark: Color.transparent('tab.activeForeground', 0.5),
light: Color.transparent('tab.activeForeground', 0.7),
hc: Color.white
},
description: 'Active tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Active tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -312,6 +359,5 @@ {

dark: Color.transparent('tab.inactiveForeground', 0.5),
light: Color.transparent('tab.inactiveForeground', 0.5),
hc: Color.white
},
description: 'Inactive tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Inactive tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -321,11 +367,11 @@ {

defaults: {
dark: '#252526',
light: '#F3F3F3',
hc: 'contrastBorder'
dark: 'sideBar.background',
},
description: 'Border to separate tabs from each other. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border to separate tabs from each other. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},
{
id: 'tab.activeBorder',
description: 'Border on the bottom of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border on the bottom of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -336,5 +382,5 @@ {

dark: Color.transparent('tab.activeBorder', 0.5),
light: Color.transparent('tab.activeBorder', 0.7)
},
description: 'Border on the bottom of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border on the bottom of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -344,6 +390,6 @@ {

defaults: {
dark: 'focusBorder',
light: 'focusBorder'
dark: primaryColor,
},
description: 'Border to the top of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border to the top of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -353,10 +399,11 @@ {

defaults: {
dark: Color.transparent('tab.activeBorderTop', 0.5),
light: Color.transparent('tab.activeBorderTop', 0.7)
dark: 'tab.activeBorderTop',
},
description: 'Border to the top of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border to the top of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},
{
id: 'tab.hoverBackground',
description: 'Tab background color when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Tab background color when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -367,9 +414,10 @@ {

dark: Color.transparent('tab.hoverBackground', 0.5),
light: Color.transparent('tab.hoverBackground', 0.7)
},
description: 'Tab background color in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Tab background color in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},
{
id: 'tab.hoverBorder',
description: 'Border to highlight tabs when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border to highlight tabs when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -380,5 +428,5 @@ {

dark: Color.transparent('tab.hoverBorder', 0.5),
light: Color.transparent('tab.hoverBorder', 0.7)
},
description: 'Border to highlight tabs in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border to highlight tabs in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -388,6 +436,6 @@ {

defaults: {
dark: '#3399CC',
light: '#33AAEE'
dark: 'tab.activeBorderTop',
},
description: 'Border on the top of modified (dirty) active tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border on the top of modified (dirty) active tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -397,7 +445,6 @@ {

defaults: {
dark: Color.transparent('tab.activeModifiedBorder', 0.5),
light: Color.transparent('tab.activeModifiedBorder', 0.5),
hc: Color.white
dark: 'tab.activeModifiedBorder',
},
description: 'Border on the top of modified (dirty) inactive tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border on the top of modified (dirty) inactive tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -407,7 +454,6 @@ {

defaults: {
dark: Color.transparent('tab.activeModifiedBorder', 0.5),
light: Color.transparent('tab.activeModifiedBorder', 0.7),
hc: Color.white
dark: 'tab.activeModifiedBorder',
},
description: 'Border on the top of modified (dirty) active tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border on the top of modified (dirty) active tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -417,7 +463,6 @@ {

defaults: {
dark: Color.transparent('tab.inactiveModifiedBorder', 0.5),
light: Color.transparent('tab.inactiveModifiedBorder', 0.5),
hc: Color.white
dark: 'tab.inactiveModifiedBorder',
},
description: 'Border on the top of modified (dirty) inactive tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
description:
'Border on the top of modified (dirty) inactive tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.',
},

@@ -431,7 +476,6 @@

defaults: {
dark: '#FFFFFF',
light: '#FFFFFF',
hc: '#FFFFFF'
dark: lightColor,
},
description: 'Status bar foreground color when a workspace is opened. The status bar is shown in the bottom of the window.'
description:
'Status bar foreground color when a workspace is opened. The status bar is shown in the bottom of the window.',
},

@@ -441,6 +485,6 @@ {

defaults: {
dark: '#007ACC',
light: '#007ACC'
dark: 'button.background',
},
description: 'Status bar background color when a workspace is opened. The status bar is shown in the bottom of the window.'
description:
'Status bar background color when a workspace is opened. The status bar is shown in the bottom of the window.',
},

@@ -451,6 +495,5 @@ {

dark: 'statusBar.foreground',
light: 'statusBar.foreground',
hc: 'statusBar.foreground'
},
description: 'Status bar foreground color when no folder is opened. The status bar is shown in the bottom of the window.'
description:
'Status bar foreground color when no folder is opened. The status bar is shown in the bottom of the window.',
},

@@ -461,12 +504,11 @@ {

dark: '#68217A',
light: '#68217A'
},
description: 'Status bar background color when no folder is opened. The status bar is shown in the bottom of the window.'
description:
'Status bar background color when no folder is opened. The status bar is shown in the bottom of the window.',
},
{
id: 'statusBar.border',
defaults: {
hc: 'contrastBorder'
},
description: 'Status bar border color separating to the sidebar and editor. The status bar is shown in the bottom of the window.'
defaults: {},
description:
'Status bar border color separating to the sidebar and editor. The status bar is shown in the bottom of the window.',
},

@@ -477,6 +519,5 @@ {

dark: 'statusBar.border',
light: 'statusBar.border',
hc: 'statusBar.border'
},
description: 'Status bar border color separating to the sidebar and editor when no folder is opened. The status bar is shown in the bottom of the window.'
description:
'Status bar border color separating to the sidebar and editor when no folder is opened. The status bar is shown in the bottom of the window.',
},

@@ -487,6 +528,5 @@ {

dark: Color.rgba(255, 255, 255, 0.18),
light: Color.rgba(255, 255, 255, 0.18),
hc: Color.rgba(255, 255, 255, 0.18)
},
description: 'Status bar item background color when clicking. The status bar is shown in the bottom of the window.'
description:
'Status bar item background color when clicking. The status bar is shown in the bottom of the window.',
},

@@ -497,6 +537,5 @@ {

dark: Color.rgba(255, 255, 255, 0.12),
light: Color.rgba(255, 255, 255, 0.12),
hc: Color.rgba(255, 255, 255, 0.12)
},
description: 'Status bar item background color when hovering. The status bar is shown in the bottom of the window.'
description:
'Status bar item background color when hovering. The status bar is shown in the bottom of the window.',
},

@@ -510,6 +549,5 @@

dark: 'sideBar.background',
light: 'sideBar.background',
hc: 'sideBar.background'
},
description: 'Quick Input background color. The Quick Input widget is the container for views like the color theme picker.'
description:
'Quick Input background color. The Quick Input widget is the container for views like the color theme picker.',
},

@@ -520,6 +558,5 @@ {

dark: 'sideBar.foreground',
light: 'sideBar.foreground',
hc: 'sideBar.foreground'
},
description: 'Quick Input foreground color. The Quick Input widget is the container for views like the color theme picker.'
description:
'Quick Input foreground color. The Quick Input widget is the container for views like the color theme picker.',
},

@@ -531,5 +568,6 @@

defaults: {
dark: 'editor.background', light: 'editor.background', hc: 'editor.background'
dark: 'editor.background',
},
description: 'Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal.'
description:
'Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal.',
},

@@ -539,5 +577,6 @@ {

defaults: {
dark: Color.transparent('#808080', 0.35), light: Color.transparent('#808080', 0.35), hc: 'contrastBorder'
dark: Color.transparent(primaryColor, 0.35),
},
description: 'Panel border color to separate the panel from the editor. Panels are shown below the editor area and contain views like output and integrated terminal.'
description:
'Panel border color to separate the panel from the editor. Panels are shown below the editor area and contain views like output and integrated terminal.',
},

@@ -548,6 +587,5 @@ {

dark: Color.rgba(255, 255, 255, 0.12),
light: Color.transparent('#2677CB', 0.18),
hc: Color.rgba(255, 255, 255, 0.12)
},
description: 'Drag and drop feedback color for the panel title items. The color should have transparency so that the panel entries can still shine through. Panels are shown below the editor area and contain views like output and integrated terminal.'
description:
'Drag and drop feedback color for the panel title items. The color should have transparency so that the panel entries can still shine through. Panels are shown below the editor area and contain views like output and integrated terminal.',
},

@@ -557,5 +595,6 @@ {

defaults: {
dark: '#E7E7E7', light: '#424242', hc: Color.white
dark: '#E7E7E7',
},
description: 'Title color for the active panel. Panels are shown below the editor area and contain views like output and integrated terminal.'
description:
'Title color for the active panel. Panels are shown below the editor area and contain views like output and integrated terminal.',
},

@@ -566,6 +605,5 @@ {

dark: Color.transparent('panelTitle.activeForeground', 0.6),
light: Color.transparent('panelTitle.activeForeground', 0.75),
hc: Color.white
},
description: 'Title color for the inactive panel. Panels are shown below the editor area and contain views like output and integrated terminal.'
description:
'Title color for the inactive panel. Panels are shown below the editor area and contain views like output and integrated terminal.',
},

@@ -575,14 +613,18 @@ {

defaults: {
dark: 'panelTitle.activeForeground', light: 'panelTitle.activeForeground', hc: 'contrastBorder'
dark: primaryColor,
},
description: 'Border color for the active panel title. Panels are shown below the editor area and contain views like output and integrated terminal.'
description:
'Border color for the active panel title. Panels are shown below the editor area and contain views like output and integrated terminal.',
},
{
id: 'panelInput.border', defaults: {light: '#ddd'},
description: 'Input box border for inputs in the panel.'
id: 'panelInput.border',
defaults: {},
description: 'Input box border for inputs in the panel.',
},
{
id: 'imagePreview.border', defaults: {
dark: Color.transparent('#808080', 0.35), light: Color.transparent('#808080', 0.35), hc: 'contrastBorder'
}, description: 'Border color for image in image preview.'
id: 'imagePreview.border',
defaults: {
dark: Color.transparent('#808080', 0.35),
},
description: 'Border color for image in image preview.',
},

@@ -595,6 +637,5 @@

dark: '#CCCCCC',
light: '#333333',
hc: '#FFFFFF'
},
description: 'Title bar foreground when the window is active. Note that this color is currently only supported on macOS.'
description:
'Title bar foreground when the window is active. Note that this color is currently only supported on macOS.',
},

@@ -605,5 +646,5 @@ {

dark: Color.transparent('titleBar.activeForeground', 0.6),
light: Color.transparent('titleBar.activeForeground', 0.6)
},
description: 'Title bar foreground when the window is inactive. Note that this color is currently only supported on macOS.'
description:
'Title bar foreground when the window is inactive. Note that this color is currently only supported on macOS.',
},

@@ -613,7 +654,6 @@ {

defaults: {
dark: '#3C3C3C',
light: '#DDDDDD',
hc: '#000000'
dark: navBackgroundColor,
},
description: 'Title bar background when the window is active. Note that this color is currently only supported on macOS.'
description:
'Title bar background when the window is active. Note that this color is currently only supported on macOS.',
},

@@ -624,91 +664,116 @@ {

dark: Color.transparent('titleBar.activeBackground', 0.6),
light: Color.transparent('titleBar.activeBackground', 0.6)
},
description: 'Title bar background when the window is inactive. Note that this color is currently only supported on macOS.'
description:
'Title bar background when the window is inactive. Note that this color is currently only supported on macOS.',
},
{
id: 'titleBar.border', defaults: {
hc: 'contrastBorder'
}, description: 'Title bar border color. Note that this color is currently only supported on macOS.'
id: 'titleBar.border',
defaults: {
dark: 'editor.lineColor',
},
description:
'Title bar border color. Note that this color is currently only supported on macOS.',
},
// Dropdown
{
id: 'dropdown.background',
defaults: {
dark: dropdownBackgroundColor,
},
description: 'dropdown background color',
},
// Menu Bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#menu-bar-colors
{
id: 'menubar.selectionForeground', defaults: {
id: 'menubar.selectionForeground',
defaults: {
dark: 'titleBar.activeForeground',
light: 'titleBar.activeForeground',
hc: 'titleBar.activeForeground'
}, description: 'Foreground color of the selected menu item in the menubar.'
},
description:
'Foreground color of the selected menu item in the menubar.',
},
{
id: 'menubar.selectionBackground', defaults: {
dark: Color.transparent('#ffffff', 0.1),
light: Color.transparent('#000000', 0.1)
}, description: 'Background color of the selected menu item in the menubar.'
id: 'menubar.selectionBackground',
defaults: {
dark: Color.transparent(lightColor, 0.1),
},
description:
'Background color of the selected menu item in the menubar.',
},
{
id: 'menubar.selectionBorder', defaults: {
hc: 'activeContrastBorder'
}, description: 'Border color of the selected menu item in the menubar.'
id: 'menubar.selectionBorder',
defaults: {},
description: 'Border color of the selected menu item in the menubar.',
},
{
id: 'menu.border', defaults: {
hc: 'contrastBorder'
}, description: 'Border color of menus.'
id: 'menu.border',
defaults: {},
description: 'Border color of menus.',
},
{
id: 'menu.foreground', defaults: {
dark: 'dropdown.foreground', light: 'foreground', hc: 'dropdown.foreground'
id: 'menu.foreground',
defaults: {
dark: 'dropdown.foreground',
},
description: 'Foreground color of menu items.'
description: 'Foreground color of menu items.',
},
{
id: 'menu.background', defaults: {
dark: 'dropdown.background', light: 'dropdown.background', hc: 'dropdown.background'
}, description: 'Background color of menu items.'
id: 'menu.background',
defaults: {
dark: 'dropdown.background',
},
description: 'Background color of menu items.',
},
{
id: 'menu.selectionForeground', defaults: {
id: 'menu.selectionForeground',
defaults: {
dark: 'list.activeSelectionForeground',
light: 'list.activeSelectionForeground',
hc: 'list.activeSelectionForeground'
}, description: 'Foreground color of the selected menu item in menus.'
},
description: 'Foreground color of the selected menu item in menus.',
},
{
id: 'menu.selectionBackground', defaults:
{
dark: 'list.activeSelectionBackground',
light: 'list.activeSelectionBackground',
hc: 'list.activeSelectionBackground'
},
description: 'Background color of the selected menu item in menus.'
id: 'menu.selectionBackground',
defaults: {
dark: 'list.activeSelectionBackground',
},
description: 'Background color of the selected menu item in menus.',
},
{
id: 'menu.selectionBorder', defaults: {
hc: 'activeContrastBorder'
}, description: 'Border color of the selected menu item in menus.'
id: 'menu.selectionBorder',
defaults: {},
description: 'Border color of the selected menu item in menus.',
},
{
id: 'menu.separatorBackground', defaults: {
dark: '#BBBBBB', light: '#888888', hc: 'contrastBorder'
id: 'menu.separatorBackground',
defaults: {
dark: '#BBBBBB',
},
description: 'Color of a separator menu item in menus.'
description: 'Color of a separator menu item in menus.',
},
// Welcome Page colors should be aligned with https://code.visualstudio.com/api/references/theme-color#welcome-page
{id: 'welcomePage.background', description: 'Background color for the Welcome page.'},
{
id: 'welcomePage.background',
description: 'Background color for the Welcome page.',
},
{
id: 'welcomePage.buttonBackground',
defaults: {dark: Color.rgba(0, 0, 0, .2), light: Color.rgba(0, 0, 0, .04), hc: Color.black},
description: 'Background color for the buttons on the Welcome page.'
defaults: {
dark: Color.rgba(0, 0, 0, 0.2),
},
description: 'Background color for the buttons on the Welcome page.',
},
{
id: 'welcomePage.buttonHoverBackground',
defaults: {dark: Color.rgba(200, 235, 255, .072), light: Color.rgba(0, 0, 0, .10)},
description: 'Hover background color for the buttons on the Welcome page.'
defaults: {
dark: Color.rgba(200, 235, 255, 0.072),
},
description:
'Hover background color for the buttons on the Welcome page.',
},
{
id: 'walkThrough.embeddedEditorBackground',
defaults: {dark: Color.rgba(0, 0, 0, .4), light: '#f4f4f4'},
description: 'Background color for the embedded editors on the Interactive Playground.'
defaults: { dark: Color.rgba(0, 0, 0, 0.4) },
description:
'Background color for the embedded editors on the Interactive Playground.',
},

@@ -718,27 +783,36 @@

{
id: 'settings.headerForeground', defaults: {
light: '#444444', dark: '#e7e7e7', hc: '#ffffff'
}, description: 'The foreground color for a section header or active title.'
id: 'settings.headerForeground',
defaults: {
dark: '#e7e7e7',
},
description:
'The foreground color for a section header or active title.',
},
{
id: 'settings.modifiedItemIndicator', defaults: {
light: Color.rgba(102, 175, 224),
id: 'settings.modifiedItemIndicator',
defaults: {
dark: Color.rgba(12, 125, 157),
hc: Color.rgba(0, 73, 122)
}, description: 'The color of the modified setting indicator.'
},
description: 'The color of the modified setting indicator.',
},
{
id: 'settings.dropdownBackground', defaults:
{dark: 'dropdown.background', light: 'dropdown.background', hc: 'dropdown.background'},
description: 'Settings editor dropdown background.'
id: 'settings.dropdownBackground',
defaults: {
dark: 'dropdown.background',
},
description: 'Settings editor dropdown background.',
},
{
id: 'settings.dropdownForeground', defaults: {
dark: 'dropdown.foreground', light: 'dropdown.foreground', hc: 'dropdown.foreground'
}, description: 'Settings editor dropdown foreground.'
id: 'settings.dropdownForeground',
defaults: {
dark: 'dropdown.foreground',
},
description: 'Settings editor dropdown foreground.',
},
{
id: 'settings.dropdownBorder', defaults: {
dark: 'dropdown.border', light: 'dropdown.border', hc: 'dropdown.border'
}, description: 'Settings editor dropdown border.'
id: 'settings.dropdownBorder',
defaults: {
dark: 'dropdown.border',
},
description: 'Settings editor dropdown border.',
},

@@ -748,51 +822,69 @@ {

defaults: {
dark: 'editorWidget.border', light: 'editorWidget.border', hc: 'editorWidget.border'
dark: 'editorWidget.border',
},
description: 'Settings editor dropdown list border. This surrounds the options and separates the options from the description.'
description:
'Settings editor dropdown list border. This surrounds the options and separates the options from the description.',
},
{
id: 'settings.checkboxBackground', defaults: {
dark: 'checkbox.background', light: 'checkbox.background', hc: 'checkbox.background'
}, description: 'Settings editor checkbox background.'
id: 'settings.checkboxBackground',
defaults: {
dark: 'checkbox.background',
},
description: 'Settings editor checkbox background.',
},
{
id: 'settings.checkboxForeground', defaults: {
dark: 'checkbox.foreground', light: 'checkbox.foreground', hc: 'checkbox.foreground'
}, description: 'Settings editor checkbox foreground.'
id: 'settings.checkboxForeground',
defaults: {
dark: 'checkbox.foreground',
},
description: 'Settings editor checkbox foreground.',
},
{
id: 'settings.checkboxBorder', defaults:
{
dark: 'checkbox.border', light: 'checkbox.border', hc: 'checkbox.border'
}, description: 'Settings editor checkbox border.'
id: 'settings.checkboxBorder',
defaults: {
dark: 'checkbox.border',
},
description: 'Settings editor checkbox border.',
},
{
id: 'settings.textInputBackground', defaults: {
dark: 'input.background', light: 'input.background', hc: 'input.background'
}, description: 'Settings editor text input box background.'
id: 'settings.textInputBackground',
defaults: {
dark: 'input.background',
},
description: 'Settings editor text input box background.',
},
{
id: 'settings.textInputForeground', defaults: {
dark: 'input.foreground', light: 'input.foreground', hc: 'input.foreground'
}, description: 'Settings editor text input box foreground.'
id: 'settings.textInputForeground',
defaults: {
dark: 'input.foreground',
},
description: 'Settings editor text input box foreground.',
},
{
id: 'settings.textInputBorder', defaults: {
dark: 'input.border', light: 'input.border', hc: 'input.border'
}, description: 'Settings editor text input box border.'
id: 'settings.textInputBorder',
defaults: {
dark: 'input.border',
},
description: 'Settings editor text input box border.',
},
{
id: 'settings.numberInputBackground', defaults: {
dark: 'input.background', light: 'input.background', hc: 'input.background'
}, description: 'Settings editor number input box background.'
id: 'settings.numberInputBackground',
defaults: {
dark: 'input.background',
},
description: 'Settings editor number input box background.',
},
{
id: 'settings.numberInputForeground', defaults: {
dark: 'input.foreground', light: 'input.foreground', hc: 'input.foreground'
}, description: 'Settings editor number input box foreground.'
id: 'settings.numberInputForeground',
defaults: {
dark: 'input.foreground',
},
description: 'Settings editor number input box foreground.',
},
{
id: 'settings.numberInputBorder', defaults: {
dark: 'input.border', light: 'input.border', hc: 'input.border'
}, description: 'Settings editor number input box border.'
id: 'settings.numberInputBorder',
defaults: {
dark: 'input.border',
},
description: 'Settings editor number input box border.',
},

@@ -802,40 +894,35 @@

{
id: 'variable.name.color', defaults: {
id: 'variable.name.color',
defaults: {
dark: '#C586C0',
light: '#9B46B0',
hc: '#C586C0'
},
description: 'Color of a variable name.'
description: 'Color of a variable name.',
},
{
id: 'variable.value.color', defaults: {
id: 'variable.value.color',
defaults: {
dark: Color.rgba(204, 204, 204, 0.6),
light: Color.rgba(108, 108, 108, 0.8),
hc: Color.rgba(204, 204, 204, 0.6)
},
description: 'Color of a variable value.'
description: 'Color of a variable value.',
},
{
id: 'variable.number.variable.color', defaults: {
id: 'variable.number.variable.color',
defaults: {
dark: '#B5CEA8',
light: '#09885A',
hc: '#B5CEA8'
},
description: 'Value color of a number variable'
description: 'Value color of a number variable',
},
{
id: 'variable.boolean.variable.color', defaults: {
id: 'variable.boolean.variable.color',
defaults: {
dark: '#4E94CE',
light: '#0000FF',
hc: '#4E94CE'
},
description: 'Value color of a boolean variable'
description: 'Value color of a boolean variable',
},
{
id: 'variable.string.variable.color', defaults: {
id: 'variable.string.variable.color',
defaults: {
dark: '#CE9178',
light: '#A31515',
hc: '#CE9178'
},
description: 'Value color of a string variable'
description: 'Value color of a string variable',
},

@@ -845,64 +932,56 @@

{
id: 'ansi.black.color', defaults: {
id: 'ansi.black.color',
defaults: {
dark: '#A0A0A0',
light: Color.rgba(128, 128, 128),
hc: '#A0A0A0'
},
description: 'ANSI black color'
description: 'ANSI black color',
},
{
id: 'ansi.red.color', defaults: {
id: 'ansi.red.color',
defaults: {
dark: '#A74747',
light: '#BE1717',
hc: '#A74747'
},
description: 'ANSI red color'
description: 'ANSI red color',
},
{
id: 'ansi.green.color', defaults: {
id: 'ansi.green.color',
defaults: {
dark: '#348F34',
light: '#338A2F',
hc: '#348F34'
},
description: 'ANSI green color'
description: 'ANSI green color',
},
{
id: 'ansi.yellow.color', defaults: {
id: 'ansi.yellow.color',
defaults: {
dark: '#5F4C29',
light: '#BEB817',
hc: '#5F4C29'
},
description: 'ANSI yellow color'
description: 'ANSI yellow color',
},
{
id: 'ansi.blue.color', defaults: {
id: 'ansi.blue.color',
defaults: {
dark: '#6286BB',
light: Color.rgba(0, 0, 139),
hc: '#6286BB'
},
description: 'ANSI blue color'
description: 'ANSI blue color',
},
{
id: 'ansi.magenta.color', defaults: {
id: 'ansi.magenta.color',
defaults: {
dark: '#914191',
light: Color.rgba(139, 0, 139),
hc: '#914191'
},
description: 'ANSI magenta color'
description: 'ANSI magenta color',
},
{
id: 'ansi.cyan.color', defaults: {
id: 'ansi.cyan.color',
defaults: {
dark: '#218D8D',
light: Color.rgba(0, 139, 139),
hc: '#218D8D'
},
description: 'ANSI cyan color'
description: 'ANSI cyan color',
},
{
id: 'ansi.white.color', defaults: {
id: 'ansi.white.color',
defaults: {
dark: '#707070',
light: '#BDBDBD',
hc: '#707070'
},
description: 'ANSI white color'
description: 'ANSI white color',
},

@@ -916,5 +995,5 @@

dark: 'inputValidation.errorBackground',
light: 'inputValidation.errorBackground',
hc: 'inputValidation.errorBackground'
}, description: 'Background color of error widgets (like alerts or notifications).'
},
description:
'Background color of error widgets (like alerts or notifications).',
},

@@ -925,5 +1004,5 @@ {

dark: 'editorGutter.addedBackground',
light: 'editorGutter.addedBackground',
hc: 'editorGutter.addedBackground'
}, description: 'Background color of success widgets (like alerts or notifications).'
},
description:
'Background color of success widgets (like alerts or notifications).',
},

@@ -934,5 +1013,5 @@ {

dark: 'editorWarning.foreground',
light: 'editorWarning.foreground',
hc: 'editorWarning.border'
}, description: 'Background color of warning widgets (like alerts or notifications).'
},
description:
'Background color of warning widgets (like alerts or notifications).',
},

@@ -943,5 +1022,5 @@ {

dark: 'inputValidation.warningBackground',
light: 'inputValidation.warningBackground',
hc: 'inputValidation.warningBackground'
}, description: 'Foreground color of warning widgets (like alerts or notifications).'
},
description:
'Foreground color of warning widgets (like alerts or notifications).',
},

@@ -953,5 +1032,5 @@ // Statusbar

dark: 'editorWarning.foreground',
light: 'editorWarning.foreground',
hc: 'editorWarning.foreground'
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
},
description:
'Background of hovered statusbar item in case the theia server is offline.',
},

@@ -962,5 +1041,5 @@ {

dark: 'editor.background',
light: 'editor.background',
hc: 'editor.background'
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
},
description:
'Background of hovered statusbar item in case the theia server is offline.',
},

@@ -971,5 +1050,5 @@ {

dark: Color.lighten('statusBar.offlineBackground', 0.4),
light: Color.lighten('statusBar.offlineBackground', 0.4),
hc: Color.lighten('statusBar.offlineBackground', 0.4)
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
},
description:
'Background of hovered statusbar item in case the theia server is offline.',
},

@@ -980,5 +1059,5 @@ {

dark: Color.lighten('statusBar.offlineBackground', 0.6),
light: Color.lighten('statusBar.offlineBackground', 0.6),
hc: Color.lighten('statusBar.offlineBackground', 0.6)
}, description: 'Background of active statusbar item in case the theia server is offline.'
},
description:
'Background of active statusbar item in case the theia server is offline.',
},

@@ -990,5 +1069,4 @@ // Buttons

dark: 'dropdown.foreground',
light: 'dropdown.foreground',
hc: 'dropdown.foreground'
}, description: 'Foreground color of secondary buttons.'
},
description: 'Foreground color of secondary buttons.',
},

@@ -999,5 +1077,4 @@ {

dark: Color.transparent('secondaryButton.foreground', 0.5),
light: Color.transparent('secondaryButton.foreground', 0.5),
hc: Color.transparent('secondaryButton.foreground', 0.5),
}, description: 'Foreground color of secondary buttons.'
},
description: 'Foreground color of secondary buttons.',
},

@@ -1008,4 +1085,4 @@ {

dark: Color.lighten('dropdown.background', 0.5),
light: Color.lighten('dropdown.background', 0.5)
}, description: 'Background color of secondary buttons.'
},
description: 'Background color of secondary buttons.',
},

@@ -1016,4 +1093,4 @@ {

dark: Color.lighten('secondaryButton.background', 0.2),
light: Color.lighten('secondaryButton.background', 0.2)
}, description: 'Background color when hovering secondary buttons.'
},
description: 'Background color when hovering secondary buttons.',
},

@@ -1024,4 +1101,4 @@ {

dark: Color.transparent('secondaryButton.background', 0.6),
light: Color.transparent('secondaryButton.background', 0.6)
}, description: 'Background color when hovering secondary buttons.'
},
description: 'Background color when hovering secondary buttons.',
},

@@ -1032,5 +1109,4 @@ {

dark: Color.transparent('button.foreground', 0.5),
light: Color.transparent('button.foreground', 0.5),
hc: Color.transparent('button.foreground', 0.5)
}, description: 'Foreground color of secondary buttons.'
},
description: 'Foreground color of secondary buttons.',
},

@@ -1041,8 +1117,36 @@ {

dark: Color.transparent('button.background', 0.5),
light: Color.transparent('button.background', 0.5)
}, description: 'Background color of secondary buttons.'
}
},
description: 'Background color of secondary buttons.',
},
{
id: 'snapshot.background',
defaults: {
dark: panelLightBackgroundColor,
},
description: 'Snapshot background color',
},
{
id: 'editorWidget.background',
defaults: {
dark: 'dropdown.background'
},
description: 'widget background color'
},
{
id: 'input-background',
defaults: {
dark: inputBackground
},
description: 'input background'
},
{
id: 'input-border',
defaults: {
dark: primaryColor
},
description: 'input background'
},
);
}
}

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc