mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-08 11:56:36 +00:00
fix: restored breadcrumbs.enabled
Ref: #1733 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
parent
9ffe421fab
commit
88cd571080
@ -23,11 +23,6 @@ export class TabBarRenderer extends TheiaTabBarRenderer {
|
||||
}
|
||||
|
||||
export class ToolbarAwareTabBar extends TheiaToolbarAwareTabBar {
|
||||
protected override async updateBreadcrumbs(): Promise<void> {
|
||||
// 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
|
||||
|
Loading…
x
Reference in New Issue
Block a user