From 45f7a3b9e847e4ba47aa5233799f334f85c7ec7d Mon Sep 17 00:00:00 2001 From: Mark Sujew Date: Mon, 11 Apr 2022 13:23:53 +0000 Subject: [PATCH] Use `tab.hoverBackground` and `tab.hoverBorder` colors --- .../core/src/browser/common-frontend-contribution.ts | 4 ++++ packages/core/src/browser/style/tabs.css | 10 ++++++++++ 2 files changed, 14 insertions(+) diff --git a/packages/core/src/browser/common-frontend-contribution.ts b/packages/core/src/browser/common-frontend-contribution.ts index 2212437779245..5ef882265a708 100644 --- a/packages/core/src/browser/common-frontend-contribution.ts +++ b/packages/core/src/browser/common-frontend-contribution.ts @@ -1484,6 +1484,10 @@ export class CommonFrontendContribution implements FrontendApplicationContributi }, { id: 'tab.hoverBackground', + defaults: { + dark: 'tab.inactiveBackground', + light: 'tab.inactiveBackground' + }, 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.' }, { diff --git a/packages/core/src/browser/style/tabs.css b/packages/core/src/browser/style/tabs.css index c2ef7e1edd2e1..a2244898d42f7 100644 --- a/packages/core/src/browser/style/tabs.css +++ b/packages/core/src/browser/style/tabs.css @@ -84,6 +84,16 @@ color: var(--theia-tab-inactiveForeground); } +#theia-main-content-panel .p-TabBar .p-TabBar-tab:hover { + background: var(--theia-tab-hoverBackground); + box-shadow: 0 1px 0 var(--theia-tab-hoverBorder) inset; +} + +#theia-main-content-panel .p-TabBar:not(.theia-tabBar-active) .p-TabBar-tab:hover { + background: var(--theia-tab-unfocusedHoverBackground); + box-shadow: 0 1px 0 var(--theia-tab-unfocusedHoverBorder) inset; +} + #theia-main-content-panel .p-TabBar .p-TabBar-tab.p-mod-current { background: var(--theia-tab-activeBackground); color: var(--theia-tab-activeForeground);