@codingame/monaco-vscode-api 11.1.1 → 12.0.0

package/vscode/src/vs/workbench/common/theme.js

@@ -1,3 +1,4 @@
+
 import { localize } from '../../nls.js';
 import { registerColor, transparent, darken, lighten } from '../../platform/theme/common/colorUtils.js';
 import { contrastBorder, activeContrastBorder, focusBorder, errorForeground, textLinkForeground } from '../../platform/theme/common/colors/baseColors.js';
@@ -16,29 +17,21 @@ import { ColorScheme } from '../../platform/theme/common/theme.js';
 function WORKBENCH_BACKGROUND(theme) {
     switch (theme.type) {
         case ColorScheme.LIGHT:
-            return (
-                 (Color.fromHex('#F3F3F3'))
-            );
+            return ( Color.fromHex('#F3F3F3'));
         case ColorScheme.HIGH_CONTRAST_LIGHT:
-            return (
-                 (Color.fromHex('#FFFFFF'))
-            );
+            return ( Color.fromHex('#FFFFFF'));
         case ColorScheme.HIGH_CONTRAST_DARK:
-            return (
-                 (Color.fromHex('#000000'))
-            );
+            return ( Color.fromHex('#000000'));
         default:
-            return (
-                 (Color.fromHex('#252526'))
-            );
+            return ( Color.fromHex('#252526'));
     }
 }
 const TAB_ACTIVE_BACKGROUND = registerColor('tab.activeBackground', editorBackground, ( localize(
-    4227,
+    3706,
     "Active tab background 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."
 )));
 const TAB_UNFOCUSED_ACTIVE_BACKGROUND = registerColor('tab.unfocusedActiveBackground', TAB_ACTIVE_BACKGROUND, ( localize(
-    4228,
+    3707,
     "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."
 )));
 const TAB_INACTIVE_BACKGROUND = registerColor('tab.inactiveBackground', {
@@ -47,11 +40,11 @@ const TAB_INACTIVE_BACKGROUND = registerColor('tab.inactiveBackground', {
     hcDark: null,
     hcLight: null,
 }, ( localize(
-    4229,
+    3708,
     "Inactive tab background 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."
 )));
 const TAB_UNFOCUSED_INACTIVE_BACKGROUND = registerColor('tab.unfocusedInactiveBackground', TAB_INACTIVE_BACKGROUND, ( localize(
-    4230,
+    3709,
     "Inactive 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."
 )));
 const TAB_ACTIVE_FOREGROUND = registerColor('tab.activeForeground', {
@@ -60,60 +53,60 @@ const TAB_ACTIVE_FOREGROUND = registerColor('tab.activeForeground', {
     hcDark: Color.white,
     hcLight: '#292929'
 }, ( localize(
-    4231,
+    3710,
     "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."
 )));
 const TAB_INACTIVE_FOREGROUND = registerColor('tab.inactiveForeground', {
-    dark: ( (transparent(TAB_ACTIVE_FOREGROUND, 0.5))),
-    light: ( (transparent(TAB_ACTIVE_FOREGROUND, 0.7))),
+    dark: ( transparent(TAB_ACTIVE_FOREGROUND, 0.5)),
+    light: ( transparent(TAB_ACTIVE_FOREGROUND, 0.7)),
     hcDark: Color.white,
     hcLight: '#292929'
 }, ( localize(
-    4232,
+    3711,
     "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."
 )));
 const TAB_UNFOCUSED_ACTIVE_FOREGROUND = registerColor('tab.unfocusedActiveForeground', {
-    dark: ( (transparent(TAB_ACTIVE_FOREGROUND, 0.5))),
-    light: ( (transparent(TAB_ACTIVE_FOREGROUND, 0.7))),
+    dark: ( transparent(TAB_ACTIVE_FOREGROUND, 0.5)),
+    light: ( transparent(TAB_ACTIVE_FOREGROUND, 0.7)),
     hcDark: Color.white,
     hcLight: '#292929'
 }, ( localize(
-    4233,
+    3712,
     "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."
 )));
 registerColor('tab.unfocusedInactiveForeground', {
-    dark: ( (transparent(TAB_INACTIVE_FOREGROUND, 0.5))),
-    light: ( (transparent(TAB_INACTIVE_FOREGROUND, 0.5))),
+    dark: ( transparent(TAB_INACTIVE_FOREGROUND, 0.5)),
+    light: ( transparent(TAB_INACTIVE_FOREGROUND, 0.5)),
     hcDark: Color.white,
     hcLight: '#292929'
 }, ( localize(
-    4234,
+    3713,
     "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."
 )));
 const TAB_HOVER_BACKGROUND = registerColor('tab.hoverBackground', null, ( localize(
-    4235,
+    3714,
     "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."
 )));
 const TAB_UNFOCUSED_HOVER_BACKGROUND = registerColor('tab.unfocusedHoverBackground', {
-    dark: ( (transparent(TAB_HOVER_BACKGROUND, 0.5))),
-    light: ( (transparent(TAB_HOVER_BACKGROUND, 0.7))),
+    dark: ( transparent(TAB_HOVER_BACKGROUND, 0.5)),
+    light: ( transparent(TAB_HOVER_BACKGROUND, 0.7)),
     hcDark: null,
     hcLight: null
 }, ( localize(
-    4236,
+    3715,
     "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."
 )));
 const TAB_HOVER_FOREGROUND = registerColor('tab.hoverForeground', null, ( localize(
-    4237,
+    3716,
     "Tab foreground 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."
 )));
 const TAB_UNFOCUSED_HOVER_FOREGROUND = registerColor('tab.unfocusedHoverForeground', {
-    dark: ( (transparent(TAB_HOVER_FOREGROUND, 0.5))),
-    light: ( (transparent(TAB_HOVER_FOREGROUND, 0.5))),
+    dark: ( transparent(TAB_HOVER_FOREGROUND, 0.5)),
+    light: ( transparent(TAB_HOVER_FOREGROUND, 0.5)),
     hcDark: null,
     hcLight: null
 }, ( localize(
-    4238,
+    3717,
     "Tab foreground 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."
 )));
 const TAB_BORDER = registerColor('tab.border', {
@@ -122,7 +115,7 @@ const TAB_BORDER = registerColor('tab.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder,
 }, ( localize(
-    4239,
+    3718,
     "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."
 )));
 const TAB_LAST_PINNED_BORDER = registerColor('tab.lastPinnedBorder', {
@@ -131,20 +124,20 @@ const TAB_LAST_PINNED_BORDER = registerColor('tab.lastPinnedBorder', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4240,
+    3719,
     "Border to separate pinned tabs from other tabs. 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."
 )));
 const TAB_ACTIVE_BORDER = registerColor('tab.activeBorder', null, ( localize(
-    4241,
+    3720,
     "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."
 )));
 const TAB_UNFOCUSED_ACTIVE_BORDER = registerColor('tab.unfocusedActiveBorder', {
-    dark: ( (transparent(TAB_ACTIVE_BORDER, 0.5))),
-    light: ( (transparent(TAB_ACTIVE_BORDER, 0.7))),
+    dark: ( transparent(TAB_ACTIVE_BORDER, 0.5)),
+    light: ( transparent(TAB_ACTIVE_BORDER, 0.7)),
     hcDark: null,
     hcLight: null
 }, ( localize(
-    4242,
+    3721,
     "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."
 )));
 const TAB_ACTIVE_BORDER_TOP = registerColor('tab.activeBorderTop', {
@@ -153,41 +146,41 @@ const TAB_ACTIVE_BORDER_TOP = registerColor('tab.activeBorderTop', {
     hcDark: null,
     hcLight: '#B5200D'
 }, ( localize(
-    4243,
+    3722,
     "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."
 )));
 const TAB_UNFOCUSED_ACTIVE_BORDER_TOP = registerColor('tab.unfocusedActiveBorderTop', {
-    dark: ( (transparent(TAB_ACTIVE_BORDER_TOP, 0.5))),
-    light: ( (transparent(TAB_ACTIVE_BORDER_TOP, 0.7))),
+    dark: ( transparent(TAB_ACTIVE_BORDER_TOP, 0.5)),
+    light: ( transparent(TAB_ACTIVE_BORDER_TOP, 0.7)),
     hcDark: null,
     hcLight: '#B5200D'
 }, ( localize(
-    4244,
+    3723,
     "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."
 )));
 const TAB_SELECTED_BORDER_TOP = registerColor('tab.selectedBorderTop', TAB_ACTIVE_BORDER_TOP, ( localize(
-    4245,
+    3724,
     "Border to the top of a selected 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."
 )));
 registerColor('tab.selectedBackground', TAB_ACTIVE_BACKGROUND, ( localize(
-    4246,
+    3725,
     "Background of a selected 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."
 )));
 registerColor('tab.selectedForeground', TAB_ACTIVE_FOREGROUND, ( localize(
-    4247,
+    3726,
     "Foreground of a selected 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."
 )));
 const TAB_HOVER_BORDER = registerColor('tab.hoverBorder', null, ( localize(
-    4248,
+    3727,
     "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."
 )));
 const TAB_UNFOCUSED_HOVER_BORDER = registerColor('tab.unfocusedHoverBorder', {
-    dark: ( (transparent(TAB_HOVER_BORDER, 0.5))),
-    light: ( (transparent(TAB_HOVER_BORDER, 0.7))),
+    dark: ( transparent(TAB_HOVER_BORDER, 0.5)),
+    light: ( transparent(TAB_HOVER_BORDER, 0.7)),
     hcDark: null,
     hcLight: contrastBorder
 }, ( localize(
-    4249,
+    3728,
     "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."
 )));
 registerColor('tab.dragAndDropBorder', {
@@ -196,7 +189,7 @@ registerColor('tab.dragAndDropBorder', {
     hcDark: activeContrastBorder,
     hcLight: activeContrastBorder
 }, ( localize(
-    4250,
+    3729,
     "Border between tabs to indicate that a tab can be inserted between two tabs. 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."
 )));
 const TAB_ACTIVE_MODIFIED_BORDER = registerColor('tab.activeModifiedBorder', {
@@ -205,42 +198,42 @@ const TAB_ACTIVE_MODIFIED_BORDER = registerColor('tab.activeModifiedBorder', {
     hcDark: null,
     hcLight: contrastBorder
 }, ( localize(
-    4251,
+    3730,
     "Border on the top of modified 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."
 )));
 const TAB_INACTIVE_MODIFIED_BORDER = registerColor('tab.inactiveModifiedBorder', {
-    dark: ( (transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.5))),
-    light: ( (transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.5))),
+    dark: ( transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.5)),
+    light: ( transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.5)),
     hcDark: Color.white,
     hcLight: contrastBorder
 }, ( localize(
-    4252,
+    3731,
     "Border on the top of modified 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."
 )));
 const TAB_UNFOCUSED_ACTIVE_MODIFIED_BORDER = registerColor('tab.unfocusedActiveModifiedBorder', {
-    dark: ( (transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.5))),
-    light: ( (transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.7))),
+    dark: ( transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.5)),
+    light: ( transparent(TAB_ACTIVE_MODIFIED_BORDER, 0.7)),
     hcDark: Color.white,
     hcLight: contrastBorder
 }, ( localize(
-    4253,
+    3732,
     "Border on the top of modified 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."
 )));
 const TAB_UNFOCUSED_INACTIVE_MODIFIED_BORDER = registerColor('tab.unfocusedInactiveModifiedBorder', {
-    dark: ( (transparent(TAB_INACTIVE_MODIFIED_BORDER, 0.5))),
-    light: ( (transparent(TAB_INACTIVE_MODIFIED_BORDER, 0.5))),
+    dark: ( transparent(TAB_INACTIVE_MODIFIED_BORDER, 0.5)),
+    light: ( transparent(TAB_INACTIVE_MODIFIED_BORDER, 0.5)),
     hcDark: Color.white,
     hcLight: contrastBorder
 }, ( localize(
-    4254,
+    3733,
     "Border on the top of modified 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."
 )));
 const EDITOR_PANE_BACKGROUND = registerColor('editorPane.background', editorBackground, ( localize(
-    4255,
+    3734,
     "Background color of the editor pane visible on the left and right side of the centered editor layout."
 )));
 const EDITOR_GROUP_EMPTY_BACKGROUND = registerColor('editorGroup.emptyBackground', null, ( localize(
-    4256,
+    3735,
     "Background color of an empty editor group. Editor groups are the containers of editors."
 )));
 registerColor('editorGroup.focusedEmptyBorder', {
@@ -249,7 +242,7 @@ registerColor('editorGroup.focusedEmptyBorder', {
     hcDark: focusBorder,
     hcLight: focusBorder
 }, ( localize(
-    4257,
+    3736,
     "Border color of an empty editor group that is focused. Editor groups are the containers of editors."
 )));
 const EDITOR_GROUP_HEADER_TABS_BACKGROUND = registerColor('editorGroupHeader.tabsBackground', {
@@ -258,15 +251,15 @@ const EDITOR_GROUP_HEADER_TABS_BACKGROUND = registerColor('editorGroupHeader.tab
     hcDark: null,
     hcLight: null
 }, ( localize(
-    4258,
+    3737,
     "Background color of the editor group title header when tabs are enabled. Editor groups are the containers of editors."
 )));
 const EDITOR_GROUP_HEADER_TABS_BORDER = registerColor('editorGroupHeader.tabsBorder', null, ( localize(
-    4259,
+    3738,
     "Border color of the editor group title header when tabs are enabled. Editor groups are the containers of editors."
 )));
 const EDITOR_GROUP_HEADER_NO_TABS_BACKGROUND = registerColor('editorGroupHeader.noTabsBackground', editorBackground, ( localize(
-    4260,
+    3739,
     "Background color of the editor group title header when (`\"workbench.editor.showTabs\": \"single\"`). Editor groups are the containers of editors."
 )));
 const EDITOR_GROUP_HEADER_BORDER = registerColor('editorGroupHeader.border', {
@@ -275,7 +268,7 @@ const EDITOR_GROUP_HEADER_BORDER = registerColor('editorGroupHeader.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4261,
+    3740,
     "Border color of the editor group title header. Editor groups are the containers of editors."
 )));
 const EDITOR_GROUP_BORDER = registerColor('editorGroup.border', {
@@ -284,24 +277,24 @@ const EDITOR_GROUP_BORDER = registerColor('editorGroup.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4262,
+    3741,
     "Color to separate multiple editor groups from each other. Editor groups are the containers of editors."
 )));
 const EDITOR_DRAG_AND_DROP_BACKGROUND = registerColor('editorGroup.dropBackground', {
-    dark: ( (( (Color.fromHex('#53595D'))).transparent(0.5))),
-    light: ( (( (Color.fromHex('#2677CB'))).transparent(0.18))),
+    dark: ( ( Color.fromHex('#53595D')).transparent(0.5)),
+    light: ( ( Color.fromHex('#2677CB')).transparent(0.18)),
     hcDark: null,
-    hcLight: ( (( (Color.fromHex('#0F4A85'))).transparent(0.50)))
+    hcLight: ( ( Color.fromHex('#0F4A85')).transparent(0.50))
 }, ( localize(
-    4263,
+    3742,
     "Background color when dragging editors around. The color should have transparency so that the editor contents can still shine through."
 )));
 const EDITOR_DROP_INTO_PROMPT_FOREGROUND = registerColor('editorGroup.dropIntoPromptForeground', editorWidgetForeground, ( localize(
-    4264,
+    3743,
     "Foreground color of text shown over editors when dragging files. This text informs the user that they can hold shift to drop into the editor."
 )));
 const EDITOR_DROP_INTO_PROMPT_BACKGROUND = registerColor('editorGroup.dropIntoPromptBackground', editorWidgetBackground, ( localize(
-    4265,
+    3744,
     "Background color of text shown over editors when dragging files. This text informs the user that they can hold shift to drop into the editor."
 )));
 const EDITOR_DROP_INTO_PROMPT_BORDER = registerColor('editorGroup.dropIntoPromptBorder', {
@@ -310,46 +303,55 @@ const EDITOR_DROP_INTO_PROMPT_BORDER = registerColor('editorGroup.dropIntoPrompt
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4266,
+    3745,
     "Border color of text shown over editors when dragging files. This text informs the user that they can hold shift to drop into the editor."
 )));
 const SIDE_BY_SIDE_EDITOR_HORIZONTAL_BORDER = registerColor('sideBySideEditor.horizontalBorder', EDITOR_GROUP_BORDER, ( localize(
-    4267,
+    3746,
     "Color to separate two editors from each other when shown side by side in an editor group from top to bottom."
 )));
 const SIDE_BY_SIDE_EDITOR_VERTICAL_BORDER = registerColor('sideBySideEditor.verticalBorder', EDITOR_GROUP_BORDER, ( localize(
-    4268,
+    3747,
     "Color to separate two editors from each other when shown side by side in an editor group from left to right."
 )));
 const PANEL_BACKGROUND = registerColor('panel.background', editorBackground, ( localize(
-    4269,
+    3748,
     "Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal."
 )));
 const PANEL_BORDER = registerColor('panel.border', {
-    dark: ( (( (Color.fromHex('#808080'))).transparent(0.35))),
-    light: ( (( (Color.fromHex('#808080'))).transparent(0.35))),
+    dark: ( ( Color.fromHex('#808080')).transparent(0.35)),
+    light: ( ( Color.fromHex('#808080')).transparent(0.35)),
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4270,
+    3749,
     "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."
 )));
+const PANEL_TITLE_BORDER = registerColor('panelTitle.border', {
+    dark: null,
+    light: null,
+    hcDark: PANEL_BORDER,
+    hcLight: PANEL_BORDER
+}, ( localize(
+    3750,
+    "Panel title border color on the bottom, separating the title from the views. Panels are shown below the editor area and contain views like output and integrated terminal."
+)));
 const PANEL_ACTIVE_TITLE_FOREGROUND = registerColor('panelTitle.activeForeground', {
     dark: '#E7E7E7',
     light: '#424242',
     hcDark: Color.white,
     hcLight: editorForeground
 }, ( localize(
-    4271,
+    3751,
     "Title color for the active panel. Panels are shown below the editor area and contain views like output and integrated terminal."
 )));
 const PANEL_INACTIVE_TITLE_FOREGROUND = registerColor('panelTitle.inactiveForeground', {
-    dark: ( (transparent(PANEL_ACTIVE_TITLE_FOREGROUND, 0.6))),
-    light: ( (transparent(PANEL_ACTIVE_TITLE_FOREGROUND, 0.75))),
+    dark: ( transparent(PANEL_ACTIVE_TITLE_FOREGROUND, 0.6)),
+    light: ( transparent(PANEL_ACTIVE_TITLE_FOREGROUND, 0.75)),
     hcDark: Color.white,
     hcLight: editorForeground
 }, ( localize(
-    4272,
+    3752,
     "Title color for the inactive panel. Panels are shown below the editor area and contain views like output and integrated terminal."
 )));
 const PANEL_ACTIVE_TITLE_BORDER = registerColor('panelTitle.activeBorder', {
@@ -358,64 +360,64 @@ const PANEL_ACTIVE_TITLE_BORDER = registerColor('panelTitle.activeBorder', {
     hcDark: contrastBorder,
     hcLight: '#B5200D'
 }, ( localize(
-    4273,
+    3753,
     "Border color for the active panel title. Panels are shown below the editor area and contain views like output and integrated terminal."
 )));
 registerColor('panelInput.border', {
     dark: inputBorder,
-    light: ( (Color.fromHex('#ddd'))),
+    light: ( Color.fromHex('#ddd')),
     hcDark: inputBorder,
     hcLight: inputBorder
-}, ( localize(4274, "Input box border for inputs in the panel.")));
+}, ( localize(3754, "Input box border for inputs in the panel.")));
 const PANEL_DRAG_AND_DROP_BORDER = registerColor('panel.dropBorder', PANEL_ACTIVE_TITLE_FOREGROUND, ( localize(
-    4275,
+    3755,
     "Drag and drop feedback color for the panel titles. Panels are shown below the editor area and contain views like output and integrated terminal."
 )));
 const PANEL_SECTION_DRAG_AND_DROP_BACKGROUND = registerColor('panelSection.dropBackground', EDITOR_DRAG_AND_DROP_BACKGROUND, ( localize(
-    4276,
+    3756,
     "Drag and drop feedback color for the panel sections. The color should have transparency so that the panel sections can still shine through. Panels are shown below the editor area and contain views like output and integrated terminal. Panel sections are views nested within the panels."
 )));
 const PANEL_SECTION_HEADER_BACKGROUND = registerColor('panelSectionHeader.background', {
-    dark: ( (( (Color.fromHex('#808080'))).transparent(0.2))),
-    light: ( (( (Color.fromHex('#808080'))).transparent(0.2))),
+    dark: ( ( Color.fromHex('#808080')).transparent(0.2)),
+    light: ( ( Color.fromHex('#808080')).transparent(0.2)),
     hcDark: null,
     hcLight: null,
 }, ( localize(
-    4277,
+    3757,
     "Panel section header background color. Panels are shown below the editor area and contain views like output and integrated terminal. Panel sections are views nested within the panels."
 )));
 const PANEL_SECTION_HEADER_FOREGROUND = registerColor('panelSectionHeader.foreground', null, ( localize(
-    4278,
+    3758,
     "Panel section header foreground color. Panels are shown below the editor area and contain views like output and integrated terminal. Panel sections are views nested within the panels."
 )));
 const PANEL_SECTION_HEADER_BORDER = registerColor('panelSectionHeader.border', contrastBorder, ( localize(
-    4279,
+    3759,
     "Panel section header border color used when multiple views are stacked vertically in the panel. Panels are shown below the editor area and contain views like output and integrated terminal. Panel sections are views nested within the panels."
 )));
 const PANEL_SECTION_BORDER = registerColor('panelSection.border', PANEL_BORDER, ( localize(
-    4280,
+    3760,
     "Panel section border color used when multiple views are stacked horizontally in the panel. Panels are shown below the editor area and contain views like output and integrated terminal. Panel sections are views nested within the panels."
 )));
-const PANEL_STICKY_SCROLL_BACKGROUND = registerColor('panelStickyScroll.background', PANEL_BACKGROUND, ( localize(4281, "Background color of sticky scroll in the panel.")));
-const PANEL_STICKY_SCROLL_BORDER = registerColor('panelStickyScroll.border', null, ( localize(4282, "Border color of sticky scroll in the panel.")));
-const PANEL_STICKY_SCROLL_SHADOW = registerColor('panelStickyScroll.shadow', scrollbarShadow, ( localize(4283, "Shadow color of sticky scroll in the panel.")));
-const OUTPUT_VIEW_BACKGROUND = registerColor('outputView.background', null, ( localize(4284, "Output view background color.")));
-registerColor('outputViewStickyScroll.background', OUTPUT_VIEW_BACKGROUND, ( localize(4285, "Output view sticky scroll background color.")));
+const PANEL_STICKY_SCROLL_BACKGROUND = registerColor('panelStickyScroll.background', PANEL_BACKGROUND, ( localize(3761, "Background color of sticky scroll in the panel.")));
+const PANEL_STICKY_SCROLL_BORDER = registerColor('panelStickyScroll.border', null, ( localize(3762, "Border color of sticky scroll in the panel.")));
+const PANEL_STICKY_SCROLL_SHADOW = registerColor('panelStickyScroll.shadow', scrollbarShadow, ( localize(3763, "Shadow color of sticky scroll in the panel.")));
+const OUTPUT_VIEW_BACKGROUND = registerColor('outputView.background', null, ( localize(3764, "Output view background color.")));
+registerColor('outputViewStickyScroll.background', OUTPUT_VIEW_BACKGROUND, ( localize(3765, "Output view sticky scroll background color.")));
 registerColor('banner.background', {
     dark: listActiveSelectionBackground,
-    light: ( (darken(listActiveSelectionBackground, 0.3))),
+    light: ( darken(listActiveSelectionBackground, 0.3)),
     hcDark: listActiveSelectionBackground,
     hcLight: listActiveSelectionBackground
 }, ( localize(
-    4286,
+    3766,
     "Banner background color. The banner is shown under the title bar of the window."
 )));
 registerColor('banner.foreground', listActiveSelectionForeground, ( localize(
-    4287,
+    3767,
     "Banner foreground color. The banner is shown under the title bar of the window."
 )));
 registerColor('banner.iconForeground', editorInfoForeground, ( localize(
-    4288,
+    3768,
     "Banner icon color. The banner is shown under the title bar of the window."
 )));
 const STATUS_BAR_FOREGROUND = registerColor('statusBar.foreground', {
@@ -424,11 +426,11 @@ const STATUS_BAR_FOREGROUND = registerColor('statusBar.foreground', {
     hcDark: '#FFFFFF',
     hcLight: editorForeground
 }, ( localize(
-    4289,
+    3769,
     "Status bar foreground color when a workspace or folder is opened. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_NO_FOLDER_FOREGROUND = registerColor('statusBar.noFolderForeground', STATUS_BAR_FOREGROUND, ( localize(
-    4290,
+    3770,
     "Status bar foreground color when no folder is opened. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_BACKGROUND = registerColor('statusBar.background', {
@@ -437,7 +439,7 @@ const STATUS_BAR_BACKGROUND = registerColor('statusBar.background', {
     hcDark: null,
     hcLight: null,
 }, ( localize(
-    4291,
+    3771,
     "Status bar background color when a workspace or folder is opened. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_NO_FOLDER_BACKGROUND = registerColor('statusBar.noFolderBackground', {
@@ -446,7 +448,7 @@ const STATUS_BAR_NO_FOLDER_BACKGROUND = registerColor('statusBar.noFolderBackgro
     hcDark: null,
     hcLight: null,
 }, ( localize(
-    4292,
+    3772,
     "Status bar background color when no folder is opened. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_BORDER = registerColor('statusBar.border', {
@@ -455,7 +457,7 @@ const STATUS_BAR_BORDER = registerColor('statusBar.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4293,
+    3773,
     "Status bar border color separating to the sidebar and editor. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_FOCUS_BORDER = registerColor('statusBar.focusBorder', {
@@ -464,20 +466,20 @@ const STATUS_BAR_FOCUS_BORDER = registerColor('statusBar.focusBorder', {
     hcDark: null,
     hcLight: STATUS_BAR_FOREGROUND
 }, ( localize(
-    4294,
+    3774,
     "Status bar border color when focused on keyboard navigation. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_NO_FOLDER_BORDER = registerColor('statusBar.noFolderBorder', STATUS_BAR_BORDER, ( localize(
-    4295,
+    3775,
     "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."
 )));
 registerColor('statusBarItem.activeBackground', {
-    dark: ( (Color.white.transparent(0.18))),
-    light: ( (Color.white.transparent(0.18))),
-    hcDark: ( (Color.white.transparent(0.18))),
-    hcLight: ( (Color.black.transparent(0.18)))
+    dark: ( Color.white.transparent(0.18)),
+    light: ( Color.white.transparent(0.18)),
+    hcDark: ( Color.white.transparent(0.18)),
+    hcLight: ( Color.black.transparent(0.18))
 }, ( localize(
-    4296,
+    3776,
     "Status bar item background color when clicking. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_ITEM_FOCUS_BORDER = registerColor('statusBarItem.focusBorder', {
@@ -486,92 +488,92 @@ const STATUS_BAR_ITEM_FOCUS_BORDER = registerColor('statusBarItem.focusBorder',
     hcDark: null,
     hcLight: activeContrastBorder
 }, ( localize(
-    4297,
+    3777,
     "Status bar item border color when focused on keyboard navigation. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_ITEM_HOVER_BACKGROUND = registerColor('statusBarItem.hoverBackground', {
-    dark: ( (Color.white.transparent(0.12))),
-    light: ( (Color.white.transparent(0.12))),
-    hcDark: ( (Color.white.transparent(0.12))),
-    hcLight: ( (Color.black.transparent(0.12)))
+    dark: ( Color.white.transparent(0.12)),
+    light: ( Color.white.transparent(0.12)),
+    hcDark: ( Color.white.transparent(0.12)),
+    hcLight: ( Color.black.transparent(0.12))
 }, ( localize(
-    4298,
+    3778,
     "Status bar item background color when hovering. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_ITEM_HOVER_FOREGROUND = registerColor('statusBarItem.hoverForeground', STATUS_BAR_FOREGROUND, ( localize(
-    4299,
+    3779,
     "Status bar item foreground color when hovering. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_ITEM_COMPACT_HOVER_BACKGROUND = registerColor('statusBarItem.compactHoverBackground', {
-    dark: ( (Color.white.transparent(0.20))),
-    light: ( (Color.white.transparent(0.20))),
-    hcDark: ( (Color.white.transparent(0.20))),
-    hcLight: ( (Color.black.transparent(0.20)))
+    dark: ( Color.white.transparent(0.20)),
+    light: ( Color.white.transparent(0.20)),
+    hcDark: ( Color.white.transparent(0.20)),
+    hcLight: ( Color.black.transparent(0.20))
 }, ( localize(
-    4300,
+    3780,
     "Status bar item background color when hovering an item that contains two hovers. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.prominentForeground', STATUS_BAR_FOREGROUND, ( localize(
-    4301,
+    3781,
     "Status bar prominent items foreground color. Prominent items stand out from other status bar entries to indicate importance. The status bar is shown in the bottom of the window."
 )));
-registerColor('statusBarItem.prominentBackground', ( (Color.black.transparent(0.5))), ( localize(
-    4302,
+registerColor('statusBarItem.prominentBackground', ( Color.black.transparent(0.5)), ( localize(
+    3782,
     "Status bar prominent items background color. Prominent items stand out from other status bar entries to indicate importance. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.prominentHoverForeground', STATUS_BAR_ITEM_HOVER_FOREGROUND, ( localize(
-    4303,
+    3783,
     "Status bar prominent items foreground color when hovering. Prominent items stand out from other status bar entries to indicate importance. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.prominentHoverBackground', {
-    dark: ( (Color.black.transparent(0.3))),
-    light: ( (Color.black.transparent(0.3))),
-    hcDark: ( (Color.black.transparent(0.3))),
+    dark: ( Color.black.transparent(0.3)),
+    light: ( Color.black.transparent(0.3)),
+    hcDark: ( Color.black.transparent(0.3)),
     hcLight: null
 }, ( localize(
-    4304,
+    3784,
     "Status bar prominent items background color when hovering. Prominent items stand out from other status bar entries to indicate importance. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_ERROR_ITEM_BACKGROUND = registerColor('statusBarItem.errorBackground', {
-    dark: ( (darken(errorForeground, .4))),
-    light: ( (darken(errorForeground, .4))),
+    dark: ( darken(errorForeground, .4)),
+    light: ( darken(errorForeground, .4)),
     hcDark: null,
     hcLight: '#B5200D'
 }, ( localize(
-    4305,
+    3785,
     "Status bar error items background color. Error items stand out from other status bar entries to indicate error conditions. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.errorForeground', Color.white, ( localize(
-    4306,
+    3786,
     "Status bar error items foreground color. Error items stand out from other status bar entries to indicate error conditions. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.errorHoverForeground', STATUS_BAR_ITEM_HOVER_FOREGROUND, ( localize(
-    4307,
+    3787,
     "Status bar error items foreground color when hovering. Error items stand out from other status bar entries to indicate error conditions. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.errorHoverBackground', STATUS_BAR_ITEM_HOVER_BACKGROUND, ( localize(
-    4308,
+    3788,
     "Status bar error items background color when hovering. Error items stand out from other status bar entries to indicate error conditions. The status bar is shown in the bottom of the window."
 )));
 const STATUS_BAR_WARNING_ITEM_BACKGROUND = registerColor('statusBarItem.warningBackground', {
-    dark: ( (darken(editorWarningForeground, .4))),
-    light: ( (darken(editorWarningForeground, .4))),
+    dark: ( darken(editorWarningForeground, .4)),
+    light: ( darken(editorWarningForeground, .4)),
     hcDark: null,
     hcLight: '#895503'
 }, ( localize(
-    4309,
+    3789,
     "Status bar warning items background color. Warning items stand out from other status bar entries to indicate warning conditions. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.warningForeground', Color.white, ( localize(
-    4310,
+    3790,
     "Status bar warning items foreground color. Warning items stand out from other status bar entries to indicate warning conditions. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.warningHoverForeground', STATUS_BAR_ITEM_HOVER_FOREGROUND, ( localize(
-    4311,
+    3791,
     "Status bar warning items foreground color when hovering. Warning items stand out from other status bar entries to indicate warning conditions. The status bar is shown in the bottom of the window."
 )));
 registerColor('statusBarItem.warningHoverBackground', STATUS_BAR_ITEM_HOVER_BACKGROUND, ( localize(
-    4312,
+    3792,
     "Status bar warning items background color when hovering. Warning items stand out from other status bar entries to indicate warning conditions. The status bar is shown in the bottom of the window."
 )));
 const ACTIVITY_BAR_BACKGROUND = registerColor('activityBar.background', {
@@ -580,7 +582,7 @@ const ACTIVITY_BAR_BACKGROUND = registerColor('activityBar.background', {
     hcDark: '#000000',
     hcLight: '#FFFFFF'
 }, ( localize(
-    4313,
+    3793,
     "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."
 )));
 const ACTIVITY_BAR_FOREGROUND = registerColor('activityBar.foreground', {
@@ -589,16 +591,16 @@ const ACTIVITY_BAR_FOREGROUND = registerColor('activityBar.foreground', {
     hcDark: Color.white,
     hcLight: editorForeground
 }, ( localize(
-    4314,
+    3794,
     "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."
 )));
 const ACTIVITY_BAR_INACTIVE_FOREGROUND = registerColor('activityBar.inactiveForeground', {
-    dark: ( (transparent(ACTIVITY_BAR_FOREGROUND, 0.4))),
-    light: ( (transparent(ACTIVITY_BAR_FOREGROUND, 0.4))),
+    dark: ( transparent(ACTIVITY_BAR_FOREGROUND, 0.4)),
+    light: ( transparent(ACTIVITY_BAR_FOREGROUND, 0.4)),
     hcDark: Color.white,
     hcLight: editorForeground
 }, ( localize(
-    4315,
+    3795,
     "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."
 )));
 const ACTIVITY_BAR_BORDER = registerColor('activityBar.border', {
@@ -607,7 +609,7 @@ const ACTIVITY_BAR_BORDER = registerColor('activityBar.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4316,
+    3796,
     "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."
 )));
 const ACTIVITY_BAR_ACTIVE_BORDER = registerColor('activityBar.activeBorder', {
@@ -616,7 +618,7 @@ const ACTIVITY_BAR_ACTIVE_BORDER = registerColor('activityBar.activeBorder', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4317,
+    3797,
     "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."
 )));
 const ACTIVITY_BAR_ACTIVE_FOCUS_BORDER = registerColor('activityBar.activeFocusBorder', {
@@ -625,11 +627,11 @@ const ACTIVITY_BAR_ACTIVE_FOCUS_BORDER = registerColor('activityBar.activeFocusB
     hcDark: null,
     hcLight: '#B5200D'
 }, ( localize(
-    4318,
+    3798,
     "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."
 )));
 const ACTIVITY_BAR_ACTIVE_BACKGROUND = registerColor('activityBar.activeBackground', null, ( localize(
-    4319,
+    3799,
     "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."
 )));
 const ACTIVITY_BAR_DRAG_AND_DROP_BORDER = registerColor('activityBar.dropBorder', {
@@ -638,7 +640,7 @@ const ACTIVITY_BAR_DRAG_AND_DROP_BORDER = registerColor('activityBar.dropBorder'
     hcDark: null,
     hcLight: null,
 }, ( localize(
-    4320,
+    3800,
     "Drag and drop feedback color for the activity bar items. The activity bar is showing on the far left or right and allows to switch between views of the side bar."
 )));
 const ACTIVITY_BAR_BADGE_BACKGROUND = registerColor('activityBarBadge.background', {
@@ -647,11 +649,11 @@ const ACTIVITY_BAR_BADGE_BACKGROUND = registerColor('activityBarBadge.background
     hcDark: '#000000',
     hcLight: '#0F4A85'
 }, ( localize(
-    4321,
+    3801,
     "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."
 )));
 const ACTIVITY_BAR_BADGE_FOREGROUND = registerColor('activityBarBadge.foreground', Color.white, ( localize(
-    4322,
+    3802,
     "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."
 )));
 const ACTIVITY_BAR_TOP_FOREGROUND = registerColor('activityBarTop.foreground', {
@@ -660,7 +662,7 @@ const ACTIVITY_BAR_TOP_FOREGROUND = registerColor('activityBarTop.foreground', {
     hcDark: Color.white,
     hcLight: editorForeground
 }, ( localize(
-    4323,
+    3803,
     "Active foreground color of the item in the Activity bar when it is on top / bottom. The activity allows to switch between views of the side bar."
 )));
 const ACTIVITY_BAR_TOP_ACTIVE_BORDER = registerColor('activityBarTop.activeBorder', {
@@ -669,34 +671,34 @@ const ACTIVITY_BAR_TOP_ACTIVE_BORDER = registerColor('activityBarTop.activeBorde
     hcDark: contrastBorder,
     hcLight: '#B5200D'
 }, ( localize(
-    4324,
+    3804,
     "Focus border color for the active item in the Activity bar when it is on top / bottom. The activity allows to switch between views of the side bar."
 )));
 registerColor('activityBarTop.activeBackground', null, ( localize(
-    4325,
+    3805,
     "Background color for the active item in the Activity bar when it is on top / bottom. The activity allows to switch between views of the side bar."
 )));
 const ACTIVITY_BAR_TOP_INACTIVE_FOREGROUND = registerColor('activityBarTop.inactiveForeground', {
-    dark: ( (transparent(ACTIVITY_BAR_TOP_FOREGROUND, 0.6))),
-    light: ( (transparent(ACTIVITY_BAR_TOP_FOREGROUND, 0.75))),
+    dark: ( transparent(ACTIVITY_BAR_TOP_FOREGROUND, 0.6)),
+    light: ( transparent(ACTIVITY_BAR_TOP_FOREGROUND, 0.75)),
     hcDark: Color.white,
     hcLight: editorForeground
 }, ( localize(
-    4326,
+    3806,
     "Inactive foreground color of the item in the Activity bar when it is on top / bottom. The activity allows to switch between views of the side bar."
 )));
 const ACTIVITY_BAR_TOP_DRAG_AND_DROP_BORDER = registerColor('activityBarTop.dropBorder', ACTIVITY_BAR_TOP_FOREGROUND, ( localize(
-    4327,
+    3807,
     "Drag and drop feedback color for the items in the Activity bar when it is on top / bottom. The activity allows to switch between views of the side bar."
 )));
-registerColor('activityBarTop.background', null, ( localize(4328, "Background color of the activity bar when set to top / bottom.")));
+registerColor('activityBarTop.background', null, ( localize(3808, "Background color of the activity bar when set to top / bottom.")));
 registerColor('profileBadge.background', {
     dark: '#4D4D4D',
     light: '#C4C4C4',
     hcDark: Color.white,
     hcLight: Color.black
 }, ( localize(
-    4329,
+    3809,
     "Profile badge background color. The profile badge shows on top of the settings gear icon in the activity bar."
 )));
 registerColor('profileBadge.foreground', {
@@ -705,13 +707,13 @@ registerColor('profileBadge.foreground', {
     hcDark: Color.black,
     hcLight: Color.white
 }, ( localize(
-    4330,
+    3810,
     "Profile badge foreground color. The profile badge shows on top of the settings gear icon in the activity bar."
 )));
-const STATUS_BAR_REMOTE_ITEM_BACKGROUND = registerColor('statusBarItem.remoteBackground', ACTIVITY_BAR_BADGE_BACKGROUND, ( localize(4331, "Background color for the remote indicator on the status bar.")));
-const STATUS_BAR_REMOTE_ITEM_FOREGROUND = registerColor('statusBarItem.remoteForeground', ACTIVITY_BAR_BADGE_FOREGROUND, ( localize(4332, "Foreground color for the remote indicator on the status bar.")));
+const STATUS_BAR_REMOTE_ITEM_BACKGROUND = registerColor('statusBarItem.remoteBackground', ACTIVITY_BAR_BADGE_BACKGROUND, ( localize(3811, "Background color for the remote indicator on the status bar.")));
+const STATUS_BAR_REMOTE_ITEM_FOREGROUND = registerColor('statusBarItem.remoteForeground', ACTIVITY_BAR_BADGE_FOREGROUND, ( localize(3812, "Foreground color for the remote indicator on the status bar.")));
 registerColor('statusBarItem.remoteHoverForeground', STATUS_BAR_ITEM_HOVER_FOREGROUND, ( localize(
-    4333,
+    3813,
     "Foreground color for the remote indicator on the status bar when hovering."
 )));
 registerColor('statusBarItem.remoteHoverBackground', {
@@ -720,13 +722,13 @@ registerColor('statusBarItem.remoteHoverBackground', {
     hcDark: STATUS_BAR_ITEM_HOVER_BACKGROUND,
     hcLight: null
 }, ( localize(
-    4334,
+    3814,
     "Background color for the remote indicator on the status bar when hovering."
 )));
-registerColor('statusBarItem.offlineBackground', '#6c1717', ( localize(4335, "Status bar item background color when the workbench is offline.")));
-registerColor('statusBarItem.offlineForeground', STATUS_BAR_REMOTE_ITEM_FOREGROUND, ( localize(4336, "Status bar item foreground color when the workbench is offline.")));
+registerColor('statusBarItem.offlineBackground', '#6c1717', ( localize(3815, "Status bar item background color when the workbench is offline.")));
+registerColor('statusBarItem.offlineForeground', STATUS_BAR_REMOTE_ITEM_FOREGROUND, ( localize(3816, "Status bar item foreground color when the workbench is offline.")));
 registerColor('statusBarItem.offlineHoverForeground', STATUS_BAR_ITEM_HOVER_FOREGROUND, ( localize(
-    4337,
+    3817,
     "Status bar item foreground hover color when the workbench is offline."
 )));
 registerColor('statusBarItem.offlineHoverBackground', {
@@ -735,22 +737,22 @@ registerColor('statusBarItem.offlineHoverBackground', {
     hcDark: STATUS_BAR_ITEM_HOVER_BACKGROUND,
     hcLight: null
 }, ( localize(
-    4338,
+    3818,
     "Status bar item background hover color when the workbench is offline."
 )));
-const EXTENSION_BADGE_REMOTE_BACKGROUND = registerColor('extensionBadge.remoteBackground', ACTIVITY_BAR_BADGE_BACKGROUND, ( localize(4339, "Background color for the remote badge in the extensions view.")));
-const EXTENSION_BADGE_REMOTE_FOREGROUND = registerColor('extensionBadge.remoteForeground', ACTIVITY_BAR_BADGE_FOREGROUND, ( localize(4340, "Foreground color for the remote badge in the extensions view.")));
+const EXTENSION_BADGE_REMOTE_BACKGROUND = registerColor('extensionBadge.remoteBackground', ACTIVITY_BAR_BADGE_BACKGROUND, ( localize(3819, "Background color for the remote badge in the extensions view.")));
+const EXTENSION_BADGE_REMOTE_FOREGROUND = registerColor('extensionBadge.remoteForeground', ACTIVITY_BAR_BADGE_FOREGROUND, ( localize(3820, "Foreground color for the remote badge in the extensions view.")));
 const SIDE_BAR_BACKGROUND = registerColor('sideBar.background', {
     dark: '#252526',
     light: '#F3F3F3',
     hcDark: '#000000',
     hcLight: '#FFFFFF'
 }, ( localize(
-    4341,
+    3821,
     "Side bar background color. The side bar is the container for views like explorer and search."
 )));
 const SIDE_BAR_FOREGROUND = registerColor('sideBar.foreground', null, ( localize(
-    4342,
+    3822,
     "Side bar foreground color. The side bar is the container for views like explorer and search."
 )));
 const SIDE_BAR_BORDER = registerColor('sideBar.border', {
@@ -759,103 +761,112 @@ const SIDE_BAR_BORDER = registerColor('sideBar.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4343,
+    3823,
     "Side bar border color on the side separating to the editor. The side bar is the container for views like explorer and search."
 )));
 registerColor('sideBarTitle.background', SIDE_BAR_BACKGROUND, ( localize(
-    4344,
+    3824,
     "Side bar title background color. The side bar is the container for views like explorer and search."
 )));
 const SIDE_BAR_TITLE_FOREGROUND = registerColor('sideBarTitle.foreground', SIDE_BAR_FOREGROUND, ( localize(
-    4345,
+    3825,
     "Side bar title foreground color. The side bar is the container for views like explorer and search."
 )));
+const SIDE_BAR_TITLE_BORDER = registerColor('sideBarTitle.border', {
+    dark: null,
+    light: null,
+    hcDark: SIDE_BAR_BORDER,
+    hcLight: SIDE_BAR_BORDER
+}, ( localize(
+    3826,
+    "Side bar title border color on the bottom, separating the title from the views. The side bar is the container for views like explorer and search."
+)));
 const SIDE_BAR_DRAG_AND_DROP_BACKGROUND = registerColor('sideBar.dropBackground', EDITOR_DRAG_AND_DROP_BACKGROUND, ( localize(
-    4346,
+    3827,
     "Drag and drop feedback color for the side bar sections. The color should have transparency so that the side bar sections can still shine through. The side bar is the container for views like explorer and search. Side bar sections are views nested within the side bar."
 )));
 const SIDE_BAR_SECTION_HEADER_BACKGROUND = registerColor('sideBarSectionHeader.background', {
-    dark: ( (( (Color.fromHex('#808080'))).transparent(0.2))),
-    light: ( (( (Color.fromHex('#808080'))).transparent(0.2))),
+    dark: ( ( Color.fromHex('#808080')).transparent(0.2)),
+    light: ( ( Color.fromHex('#808080')).transparent(0.2)),
     hcDark: null,
     hcLight: null
 }, ( localize(
-    4347,
+    3828,
     "Side bar section header background color. The side bar is the container for views like explorer and search. Side bar sections are views nested within the side bar."
 )));
 const SIDE_BAR_SECTION_HEADER_FOREGROUND = registerColor('sideBarSectionHeader.foreground', SIDE_BAR_FOREGROUND, ( localize(
-    4348,
+    3829,
     "Side bar section header foreground color. The side bar is the container for views like explorer and search. Side bar sections are views nested within the side bar."
 )));
 const SIDE_BAR_SECTION_HEADER_BORDER = registerColor('sideBarSectionHeader.border', contrastBorder, ( localize(
-    4349,
+    3830,
     "Side bar section header border color. The side bar is the container for views like explorer and search. Side bar sections are views nested within the side bar."
 )));
 registerColor('sideBarActivityBarTop.border', SIDE_BAR_SECTION_HEADER_BORDER, ( localize(
-    4350,
+    3831,
     "Border color between the activity bar at the top/bottom and the views."
 )));
-const SIDE_BAR_STICKY_SCROLL_BACKGROUND = registerColor('sideBarStickyScroll.background', SIDE_BAR_BACKGROUND, ( localize(4351, "Background color of sticky scroll in the side bar.")));
-const SIDE_BAR_STICKY_SCROLL_BORDER = registerColor('sideBarStickyScroll.border', null, ( localize(4352, "Border color of sticky scroll in the side bar.")));
-const SIDE_BAR_STICKY_SCROLL_SHADOW = registerColor('sideBarStickyScroll.shadow', scrollbarShadow, ( localize(4353, "Shadow color of sticky scroll in the side bar.")));
+const SIDE_BAR_STICKY_SCROLL_BACKGROUND = registerColor('sideBarStickyScroll.background', SIDE_BAR_BACKGROUND, ( localize(3832, "Background color of sticky scroll in the side bar.")));
+const SIDE_BAR_STICKY_SCROLL_BORDER = registerColor('sideBarStickyScroll.border', null, ( localize(3833, "Border color of sticky scroll in the side bar.")));
+const SIDE_BAR_STICKY_SCROLL_SHADOW = registerColor('sideBarStickyScroll.shadow', scrollbarShadow, ( localize(3834, "Shadow color of sticky scroll in the side bar.")));
 const TITLE_BAR_ACTIVE_FOREGROUND = registerColor('titleBar.activeForeground', {
     dark: '#CCCCCC',
     light: '#333333',
     hcDark: '#FFFFFF',
     hcLight: '#292929'
-}, ( localize(4354, "Title bar foreground when the window is active.")));
+}, ( localize(3835, "Title bar foreground when the window is active.")));
 const TITLE_BAR_INACTIVE_FOREGROUND = registerColor('titleBar.inactiveForeground', {
-    dark: ( (transparent(TITLE_BAR_ACTIVE_FOREGROUND, 0.6))),
-    light: ( (transparent(TITLE_BAR_ACTIVE_FOREGROUND, 0.6))),
+    dark: ( transparent(TITLE_BAR_ACTIVE_FOREGROUND, 0.6)),
+    light: ( transparent(TITLE_BAR_ACTIVE_FOREGROUND, 0.6)),
     hcDark: null,
     hcLight: '#292929'
-}, ( localize(4355, "Title bar foreground when the window is inactive.")));
+}, ( localize(3836, "Title bar foreground when the window is inactive.")));
 const TITLE_BAR_ACTIVE_BACKGROUND = registerColor('titleBar.activeBackground', {
     dark: '#3C3C3C',
     light: '#DDDDDD',
     hcDark: '#000000',
     hcLight: '#FFFFFF'
-}, ( localize(4356, "Title bar background when the window is active.")));
+}, ( localize(3837, "Title bar background when the window is active.")));
 const TITLE_BAR_INACTIVE_BACKGROUND = registerColor('titleBar.inactiveBackground', {
-    dark: ( (transparent(TITLE_BAR_ACTIVE_BACKGROUND, 0.6))),
-    light: ( (transparent(TITLE_BAR_ACTIVE_BACKGROUND, 0.6))),
+    dark: ( transparent(TITLE_BAR_ACTIVE_BACKGROUND, 0.6)),
+    light: ( transparent(TITLE_BAR_ACTIVE_BACKGROUND, 0.6)),
     hcDark: null,
     hcLight: null,
-}, ( localize(4357, "Title bar background when the window is inactive.")));
+}, ( localize(3838, "Title bar background when the window is inactive.")));
 const TITLE_BAR_BORDER = registerColor('titleBar.border', {
     dark: null,
     light: null,
     hcDark: contrastBorder,
     hcLight: contrastBorder
-}, ( localize(4358, "Title bar border color.")));
-const MENUBAR_SELECTION_FOREGROUND = registerColor('menubar.selectionForeground', TITLE_BAR_ACTIVE_FOREGROUND, ( localize(4359, "Foreground color of the selected menu item in the menubar.")));
+}, ( localize(3839, "Title bar border color.")));
+const MENUBAR_SELECTION_FOREGROUND = registerColor('menubar.selectionForeground', TITLE_BAR_ACTIVE_FOREGROUND, ( localize(3840, "Foreground color of the selected menu item in the menubar.")));
 const MENUBAR_SELECTION_BACKGROUND = registerColor('menubar.selectionBackground', {
     dark: toolbarHoverBackground,
     light: toolbarHoverBackground,
     hcDark: null,
     hcLight: null,
-}, ( localize(4360, "Background color of the selected menu item in the menubar.")));
+}, ( localize(3841, "Background color of the selected menu item in the menubar.")));
 registerColor('menubar.selectionBorder', {
     dark: null,
     light: null,
     hcDark: activeContrastBorder,
     hcLight: activeContrastBorder,
-}, ( localize(4361, "Border color of the selected menu item in the menubar.")));
-registerColor('commandCenter.foreground', TITLE_BAR_ACTIVE_FOREGROUND, ( localize(4362, "Foreground color of the command center")), false);
-registerColor('commandCenter.activeForeground', MENUBAR_SELECTION_FOREGROUND, ( localize(4363, "Active foreground color of the command center")), false);
-registerColor('commandCenter.inactiveForeground', TITLE_BAR_INACTIVE_FOREGROUND, ( localize(4364, "Foreground color of the command center when the window is inactive")), false);
-const COMMAND_CENTER_BACKGROUND = registerColor('commandCenter.background', { dark: ( (Color.white.transparent(0.05))), hcDark: null, light: ( (Color.black.transparent(0.05))), hcLight: null }, ( localize(4365, "Background color of the command center")), false);
-registerColor('commandCenter.activeBackground', { dark: ( (Color.white.transparent(0.08))), hcDark: MENUBAR_SELECTION_BACKGROUND, light: ( (Color.black.transparent(0.08))), hcLight: MENUBAR_SELECTION_BACKGROUND }, ( localize(4366, "Active background color of the command center")), false);
-registerColor('commandCenter.border', { dark: ( (transparent(TITLE_BAR_ACTIVE_FOREGROUND, .20))), hcDark: contrastBorder, light: ( (transparent(TITLE_BAR_ACTIVE_FOREGROUND, .20))), hcLight: contrastBorder }, ( localize(4367, "Border color of the command center")), false);
-registerColor('commandCenter.activeBorder', { dark: ( (transparent(TITLE_BAR_ACTIVE_FOREGROUND, .30))), hcDark: TITLE_BAR_ACTIVE_FOREGROUND, light: ( (transparent(TITLE_BAR_ACTIVE_FOREGROUND, .30))), hcLight: TITLE_BAR_ACTIVE_FOREGROUND }, ( localize(4368, "Active border color of the command center")), false);
-registerColor('commandCenter.inactiveBorder', ( (transparent(TITLE_BAR_INACTIVE_FOREGROUND, .25))), ( localize(4369, "Border color of the command center when the window is inactive")), false);
+}, ( localize(3842, "Border color of the selected menu item in the menubar.")));
+registerColor('commandCenter.foreground', TITLE_BAR_ACTIVE_FOREGROUND, ( localize(3843, "Foreground color of the command center")), false);
+registerColor('commandCenter.activeForeground', MENUBAR_SELECTION_FOREGROUND, ( localize(3844, "Active foreground color of the command center")), false);
+registerColor('commandCenter.inactiveForeground', TITLE_BAR_INACTIVE_FOREGROUND, ( localize(3845, "Foreground color of the command center when the window is inactive")), false);
+const COMMAND_CENTER_BACKGROUND = registerColor('commandCenter.background', { dark: ( Color.white.transparent(0.05)), hcDark: null, light: ( Color.black.transparent(0.05)), hcLight: null }, ( localize(3846, "Background color of the command center")), false);
+registerColor('commandCenter.activeBackground', { dark: ( Color.white.transparent(0.08)), hcDark: MENUBAR_SELECTION_BACKGROUND, light: ( Color.black.transparent(0.08)), hcLight: MENUBAR_SELECTION_BACKGROUND }, ( localize(3847, "Active background color of the command center")), false);
+registerColor('commandCenter.border', { dark: ( transparent(TITLE_BAR_ACTIVE_FOREGROUND, .20)), hcDark: contrastBorder, light: ( transparent(TITLE_BAR_ACTIVE_FOREGROUND, .20)), hcLight: contrastBorder }, ( localize(3848, "Border color of the command center")), false);
+registerColor('commandCenter.activeBorder', { dark: ( transparent(TITLE_BAR_ACTIVE_FOREGROUND, .30)), hcDark: TITLE_BAR_ACTIVE_FOREGROUND, light: ( transparent(TITLE_BAR_ACTIVE_FOREGROUND, .30)), hcLight: TITLE_BAR_ACTIVE_FOREGROUND }, ( localize(3849, "Active border color of the command center")), false);
+registerColor('commandCenter.inactiveBorder', ( transparent(TITLE_BAR_INACTIVE_FOREGROUND, .25)), ( localize(3850, "Border color of the command center when the window is inactive")), false);
 const NOTIFICATIONS_CENTER_BORDER = registerColor('notificationCenter.border', {
     dark: widgetBorder,
     light: widgetBorder,
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4370,
+    3851,
     "Notifications center border color. Notifications slide in from the bottom right of the window."
 )));
 const NOTIFICATIONS_TOAST_BORDER = registerColor('notificationToast.border', {
@@ -864,48 +875,48 @@ const NOTIFICATIONS_TOAST_BORDER = registerColor('notificationToast.border', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4371,
+    3852,
     "Notification toast border color. Notifications slide in from the bottom right of the window."
 )));
 registerColor('notifications.foreground', editorWidgetForeground, ( localize(
-    4372,
+    3853,
     "Notifications foreground color. Notifications slide in from the bottom right of the window."
 )));
 const NOTIFICATIONS_BACKGROUND = registerColor('notifications.background', editorWidgetBackground, ( localize(
-    4373,
+    3854,
     "Notifications background color. Notifications slide in from the bottom right of the window."
 )));
 registerColor('notificationLink.foreground', textLinkForeground, ( localize(
-    4374,
+    3855,
     "Notification links foreground color. Notifications slide in from the bottom right of the window."
 )));
 const NOTIFICATIONS_CENTER_HEADER_FOREGROUND = registerColor('notificationCenterHeader.foreground', null, ( localize(
-    4375,
+    3856,
     "Notifications center header foreground color. Notifications slide in from the bottom right of the window."
 )));
 const NOTIFICATIONS_CENTER_HEADER_BACKGROUND = registerColor('notificationCenterHeader.background', {
-    dark: ( (lighten(NOTIFICATIONS_BACKGROUND, 0.3))),
-    light: ( (darken(NOTIFICATIONS_BACKGROUND, 0.05))),
+    dark: ( lighten(NOTIFICATIONS_BACKGROUND, 0.3)),
+    light: ( darken(NOTIFICATIONS_BACKGROUND, 0.05)),
     hcDark: NOTIFICATIONS_BACKGROUND,
     hcLight: NOTIFICATIONS_BACKGROUND
 }, ( localize(
-    4376,
+    3857,
     "Notifications center header background color. Notifications slide in from the bottom right of the window."
 )));
 registerColor('notifications.border', NOTIFICATIONS_CENTER_HEADER_BACKGROUND, ( localize(
-    4377,
+    3858,
     "Notifications border color separating from other notifications in the notifications center. Notifications slide in from the bottom right of the window."
 )));
 registerColor('notificationsErrorIcon.foreground', editorErrorForeground, ( localize(
-    4378,
+    3859,
     "The color used for the icon of error notifications. Notifications slide in from the bottom right of the window."
 )));
 registerColor('notificationsWarningIcon.foreground', editorWarningForeground, ( localize(
-    4379,
+    3860,
     "The color used for the icon of warning notifications. Notifications slide in from the bottom right of the window."
 )));
 registerColor('notificationsInfoIcon.foreground', editorInfoForeground, ( localize(
-    4380,
+    3861,
     "The color used for the icon of info notifications. Notifications slide in from the bottom right of the window."
 )));
 const WINDOW_ACTIVE_BORDER = registerColor('window.activeBorder', {
@@ -914,7 +925,7 @@ const WINDOW_ACTIVE_BORDER = registerColor('window.activeBorder', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4381,
+    3862,
     "The color used for the border of the window when it is active. Only supported in the macOS and Linux desktop client when using the custom title bar."
 )));
 const WINDOW_INACTIVE_BORDER = registerColor('window.inactiveBorder', {
@@ -923,8 +934,8 @@ const WINDOW_INACTIVE_BORDER = registerColor('window.inactiveBorder', {
     hcDark: contrastBorder,
     hcLight: contrastBorder
 }, ( localize(
-    4382,
+    3863,
     "The color used for the border of the window when it is inactive. Only supported in the macOS and Linux desktop client when using the custom title bar."
 )));
 
-export { ACTIVITY_BAR_ACTIVE_BACKGROUND, ACTIVITY_BAR_ACTIVE_BORDER, ACTIVITY_BAR_ACTIVE_FOCUS_BORDER, ACTIVITY_BAR_BACKGROUND, ACTIVITY_BAR_BADGE_BACKGROUND, ACTIVITY_BAR_BADGE_FOREGROUND, ACTIVITY_BAR_BORDER, ACTIVITY_BAR_DRAG_AND_DROP_BORDER, ACTIVITY_BAR_FOREGROUND, ACTIVITY_BAR_INACTIVE_FOREGROUND, ACTIVITY_BAR_TOP_ACTIVE_BORDER, ACTIVITY_BAR_TOP_DRAG_AND_DROP_BORDER, ACTIVITY_BAR_TOP_FOREGROUND, ACTIVITY_BAR_TOP_INACTIVE_FOREGROUND, COMMAND_CENTER_BACKGROUND, EDITOR_DRAG_AND_DROP_BACKGROUND, EDITOR_DROP_INTO_PROMPT_BACKGROUND, EDITOR_DROP_INTO_PROMPT_BORDER, EDITOR_DROP_INTO_PROMPT_FOREGROUND, EDITOR_GROUP_BORDER, EDITOR_GROUP_EMPTY_BACKGROUND, EDITOR_GROUP_HEADER_BORDER, EDITOR_GROUP_HEADER_NO_TABS_BACKGROUND, EDITOR_GROUP_HEADER_TABS_BACKGROUND, EDITOR_GROUP_HEADER_TABS_BORDER, EDITOR_PANE_BACKGROUND, EXTENSION_BADGE_REMOTE_BACKGROUND, EXTENSION_BADGE_REMOTE_FOREGROUND, MENUBAR_SELECTION_BACKGROUND, MENUBAR_SELECTION_FOREGROUND, NOTIFICATIONS_BACKGROUND, NOTIFICATIONS_CENTER_BORDER, NOTIFICATIONS_CENTER_HEADER_BACKGROUND, NOTIFICATIONS_CENTER_HEADER_FOREGROUND, NOTIFICATIONS_TOAST_BORDER, PANEL_ACTIVE_TITLE_BORDER, PANEL_ACTIVE_TITLE_FOREGROUND, PANEL_BACKGROUND, PANEL_BORDER, PANEL_DRAG_AND_DROP_BORDER, PANEL_INACTIVE_TITLE_FOREGROUND, PANEL_SECTION_BORDER, PANEL_SECTION_DRAG_AND_DROP_BACKGROUND, PANEL_SECTION_HEADER_BACKGROUND, PANEL_SECTION_HEADER_BORDER, PANEL_SECTION_HEADER_FOREGROUND, PANEL_STICKY_SCROLL_BACKGROUND, PANEL_STICKY_SCROLL_BORDER, PANEL_STICKY_SCROLL_SHADOW, SIDE_BAR_BACKGROUND, SIDE_BAR_BORDER, SIDE_BAR_DRAG_AND_DROP_BACKGROUND, SIDE_BAR_FOREGROUND, SIDE_BAR_SECTION_HEADER_BACKGROUND, SIDE_BAR_SECTION_HEADER_BORDER, SIDE_BAR_SECTION_HEADER_FOREGROUND, SIDE_BAR_STICKY_SCROLL_BACKGROUND, SIDE_BAR_STICKY_SCROLL_BORDER, SIDE_BAR_STICKY_SCROLL_SHADOW, SIDE_BAR_TITLE_FOREGROUND, SIDE_BY_SIDE_EDITOR_HORIZONTAL_BORDER, SIDE_BY_SIDE_EDITOR_VERTICAL_BORDER, STATUS_BAR_BACKGROUND, STATUS_BAR_BORDER, STATUS_BAR_ERROR_ITEM_BACKGROUND, STATUS_BAR_FOCUS_BORDER, STATUS_BAR_FOREGROUND, STATUS_BAR_ITEM_COMPACT_HOVER_BACKGROUND, STATUS_BAR_ITEM_FOCUS_BORDER, STATUS_BAR_ITEM_HOVER_BACKGROUND, STATUS_BAR_ITEM_HOVER_FOREGROUND, STATUS_BAR_NO_FOLDER_BACKGROUND, STATUS_BAR_NO_FOLDER_BORDER, STATUS_BAR_NO_FOLDER_FOREGROUND, STATUS_BAR_REMOTE_ITEM_BACKGROUND, STATUS_BAR_REMOTE_ITEM_FOREGROUND, STATUS_BAR_WARNING_ITEM_BACKGROUND, TAB_ACTIVE_BACKGROUND, TAB_ACTIVE_BORDER, TAB_ACTIVE_BORDER_TOP, TAB_ACTIVE_FOREGROUND, TAB_ACTIVE_MODIFIED_BORDER, TAB_BORDER, TAB_HOVER_BACKGROUND, TAB_HOVER_BORDER, TAB_HOVER_FOREGROUND, TAB_INACTIVE_BACKGROUND, TAB_INACTIVE_FOREGROUND, TAB_INACTIVE_MODIFIED_BORDER, TAB_LAST_PINNED_BORDER, TAB_SELECTED_BORDER_TOP, TAB_UNFOCUSED_ACTIVE_BACKGROUND, TAB_UNFOCUSED_ACTIVE_BORDER, TAB_UNFOCUSED_ACTIVE_BORDER_TOP, TAB_UNFOCUSED_ACTIVE_FOREGROUND, TAB_UNFOCUSED_ACTIVE_MODIFIED_BORDER, TAB_UNFOCUSED_HOVER_BACKGROUND, TAB_UNFOCUSED_HOVER_BORDER, TAB_UNFOCUSED_HOVER_FOREGROUND, TAB_UNFOCUSED_INACTIVE_BACKGROUND, TAB_UNFOCUSED_INACTIVE_MODIFIED_BORDER, TITLE_BAR_ACTIVE_BACKGROUND, TITLE_BAR_ACTIVE_FOREGROUND, TITLE_BAR_BORDER, TITLE_BAR_INACTIVE_BACKGROUND, TITLE_BAR_INACTIVE_FOREGROUND, WINDOW_ACTIVE_BORDER, WINDOW_INACTIVE_BORDER, WORKBENCH_BACKGROUND };
+export { ACTIVITY_BAR_ACTIVE_BACKGROUND, ACTIVITY_BAR_ACTIVE_BORDER, ACTIVITY_BAR_ACTIVE_FOCUS_BORDER, ACTIVITY_BAR_BACKGROUND, ACTIVITY_BAR_BADGE_BACKGROUND, ACTIVITY_BAR_BADGE_FOREGROUND, ACTIVITY_BAR_BORDER, ACTIVITY_BAR_DRAG_AND_DROP_BORDER, ACTIVITY_BAR_FOREGROUND, ACTIVITY_BAR_INACTIVE_FOREGROUND, ACTIVITY_BAR_TOP_ACTIVE_BORDER, ACTIVITY_BAR_TOP_DRAG_AND_DROP_BORDER, ACTIVITY_BAR_TOP_FOREGROUND, ACTIVITY_BAR_TOP_INACTIVE_FOREGROUND, COMMAND_CENTER_BACKGROUND, EDITOR_DRAG_AND_DROP_BACKGROUND, EDITOR_DROP_INTO_PROMPT_BACKGROUND, EDITOR_DROP_INTO_PROMPT_BORDER, EDITOR_DROP_INTO_PROMPT_FOREGROUND, EDITOR_GROUP_BORDER, EDITOR_GROUP_EMPTY_BACKGROUND, EDITOR_GROUP_HEADER_BORDER, EDITOR_GROUP_HEADER_NO_TABS_BACKGROUND, EDITOR_GROUP_HEADER_TABS_BACKGROUND, EDITOR_GROUP_HEADER_TABS_BORDER, EDITOR_PANE_BACKGROUND, EXTENSION_BADGE_REMOTE_BACKGROUND, EXTENSION_BADGE_REMOTE_FOREGROUND, MENUBAR_SELECTION_BACKGROUND, MENUBAR_SELECTION_FOREGROUND, NOTIFICATIONS_BACKGROUND, NOTIFICATIONS_CENTER_BORDER, NOTIFICATIONS_CENTER_HEADER_BACKGROUND, NOTIFICATIONS_CENTER_HEADER_FOREGROUND, NOTIFICATIONS_TOAST_BORDER, PANEL_ACTIVE_TITLE_BORDER, PANEL_ACTIVE_TITLE_FOREGROUND, PANEL_BACKGROUND, PANEL_BORDER, PANEL_DRAG_AND_DROP_BORDER, PANEL_INACTIVE_TITLE_FOREGROUND, PANEL_SECTION_BORDER, PANEL_SECTION_DRAG_AND_DROP_BACKGROUND, PANEL_SECTION_HEADER_BACKGROUND, PANEL_SECTION_HEADER_BORDER, PANEL_SECTION_HEADER_FOREGROUND, PANEL_STICKY_SCROLL_BACKGROUND, PANEL_STICKY_SCROLL_BORDER, PANEL_STICKY_SCROLL_SHADOW, PANEL_TITLE_BORDER, SIDE_BAR_BACKGROUND, SIDE_BAR_BORDER, SIDE_BAR_DRAG_AND_DROP_BACKGROUND, SIDE_BAR_FOREGROUND, SIDE_BAR_SECTION_HEADER_BACKGROUND, SIDE_BAR_SECTION_HEADER_BORDER, SIDE_BAR_SECTION_HEADER_FOREGROUND, SIDE_BAR_STICKY_SCROLL_BACKGROUND, SIDE_BAR_STICKY_SCROLL_BORDER, SIDE_BAR_STICKY_SCROLL_SHADOW, SIDE_BAR_TITLE_BORDER, SIDE_BAR_TITLE_FOREGROUND, SIDE_BY_SIDE_EDITOR_HORIZONTAL_BORDER, SIDE_BY_SIDE_EDITOR_VERTICAL_BORDER, STATUS_BAR_BACKGROUND, STATUS_BAR_BORDER, STATUS_BAR_ERROR_ITEM_BACKGROUND, STATUS_BAR_FOCUS_BORDER, STATUS_BAR_FOREGROUND, STATUS_BAR_ITEM_COMPACT_HOVER_BACKGROUND, STATUS_BAR_ITEM_FOCUS_BORDER, STATUS_BAR_ITEM_HOVER_BACKGROUND, STATUS_BAR_ITEM_HOVER_FOREGROUND, STATUS_BAR_NO_FOLDER_BACKGROUND, STATUS_BAR_NO_FOLDER_BORDER, STATUS_BAR_NO_FOLDER_FOREGROUND, STATUS_BAR_REMOTE_ITEM_BACKGROUND, STATUS_BAR_REMOTE_ITEM_FOREGROUND, STATUS_BAR_WARNING_ITEM_BACKGROUND, TAB_ACTIVE_BACKGROUND, TAB_ACTIVE_BORDER, TAB_ACTIVE_BORDER_TOP, TAB_ACTIVE_FOREGROUND, TAB_ACTIVE_MODIFIED_BORDER, TAB_BORDER, TAB_HOVER_BACKGROUND, TAB_HOVER_BORDER, TAB_HOVER_FOREGROUND, TAB_INACTIVE_BACKGROUND, TAB_INACTIVE_FOREGROUND, TAB_INACTIVE_MODIFIED_BORDER, TAB_LAST_PINNED_BORDER, TAB_SELECTED_BORDER_TOP, TAB_UNFOCUSED_ACTIVE_BACKGROUND, TAB_UNFOCUSED_ACTIVE_BORDER, TAB_UNFOCUSED_ACTIVE_BORDER_TOP, TAB_UNFOCUSED_ACTIVE_FOREGROUND, TAB_UNFOCUSED_ACTIVE_MODIFIED_BORDER, TAB_UNFOCUSED_HOVER_BACKGROUND, TAB_UNFOCUSED_HOVER_BORDER, TAB_UNFOCUSED_HOVER_FOREGROUND, TAB_UNFOCUSED_INACTIVE_BACKGROUND, TAB_UNFOCUSED_INACTIVE_MODIFIED_BORDER, TITLE_BAR_ACTIVE_BACKGROUND, TITLE_BAR_ACTIVE_FOREGROUND, TITLE_BAR_BORDER, TITLE_BAR_INACTIVE_BACKGROUND, TITLE_BAR_INACTIVE_FOREGROUND, WINDOW_ACTIVE_BORDER, WINDOW_INACTIVE_BORDER, WORKBENCH_BACKGROUND };