diff --git a/packages/core/src/browser/core-preferences.ts b/packages/core/src/browser/core-preferences.ts index 8b9e445200678..075b818cfaf8b 100644 --- a/packages/core/src/browser/core-preferences.ts +++ b/packages/core/src/browser/core-preferences.ts @@ -83,7 +83,7 @@ export const corePreferenceSchema: PreferenceSchema = { 'window.extendedTabBarPreview': { type: 'boolean', default: false, - description: 'Controls whether more information about the tab should be displayed in horizontal tab bars.' + description: nls.localize('theia/core/extendedTabBarPreview', 'Controls whether more information about the tab should be displayed in horizontal tab bars.') }, 'window.menuBarVisibility': { type: 'string', diff --git a/packages/core/src/browser/hover-service.ts b/packages/core/src/browser/hover-service.ts index 12dfe3340f177..888f00d8e0bc2 100644 --- a/packages/core/src/browser/hover-service.ts +++ b/packages/core/src/browser/hover-service.ts @@ -132,6 +132,7 @@ export class HoverService { dispose: () => { this.lastHidHover = Date.now(); host.classList.remove(updatedPosition); + host.classList.remove(...cssClasses ?? []); } }); diff --git a/packages/core/src/browser/shell/application-shell.ts b/packages/core/src/browser/shell/application-shell.ts index bb58e2ad4ed7d..79e736105c853 100644 --- a/packages/core/src/browser/shell/application-shell.ts +++ b/packages/core/src/browser/shell/application-shell.ts @@ -266,6 +266,14 @@ export class ApplicationShell extends Widget { } }); } + + this.corePreferences.onPreferenceChanged(preference => { + if (preference.preferenceName === 'window.extendedTabBarPreview') { + this.allTabBars.forEach(tabBar => { + tabBar.update(); + }); + } + }); } protected initializeShell(): void {