From 88cd571080a2f3c9e9c3eee1c8439b9c60c82c79 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Wed, 15 Feb 2023 14:46:12 +0100 Subject: [PATCH] fix: restored `breadcrumbs.enabled` Ref: #1733 Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/theia/core/tab-bars.ts | 5 ----- 1 file changed, 5 deletions(-) diff --git a/arduino-ide-extension/src/browser/theia/core/tab-bars.ts b/arduino-ide-extension/src/browser/theia/core/tab-bars.ts index c6d5adc08..be9f4bc1d 100644 --- a/arduino-ide-extension/src/browser/theia/core/tab-bars.ts +++ b/arduino-ide-extension/src/browser/theia/core/tab-bars.ts @@ -23,11 +23,6 @@ export class TabBarRenderer extends TheiaTabBarRenderer { } export class ToolbarAwareTabBar extends TheiaToolbarAwareTabBar { - protected override async updateBreadcrumbs(): Promise { - // NOOP - // IDE2 does not use breadcrumbs. - } - private readonly doUpdateToolbar = debounce(() => super.updateToolbar(), 500); protected override updateToolbar(): void { // Unlike Theia, IDE2 debounces the toolbar updates with 500ms