diff --git a/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts b/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts index 8e990c65..f15386d7 100644 --- a/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts +++ b/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts @@ -125,6 +125,8 @@ import { About } from './contributions/about'; import { IconThemeService } from '@theia/core/lib/browser/icon-theme-service'; import { TabBarRenderer } from './theia/core/tab-bars'; import { EditorCommandContribution } from './theia/editor/editor-command'; +import { NavigatorTabBarDecorator as TheiaNavigatorTabBarDecorator } from '@theia/navigator/lib/browser/navigator-tab-bar-decorator'; +import { NavigatorTabBarDecorator } from './theia/navigator/navigator-tab-bar-decorator'; const ElementQueries = require('css-element-queries/src/ElementQueries'); @@ -347,4 +349,8 @@ export default new ContainerModule((bind, unbind, isBound, rebind) => { // Do not trigger a save on IDE startup if `"editor.autoSave": "on"` was set as a preference. bind(EditorCommandContribution).toSelf().inSingletonScope(); rebind(TheiaEditorCommandContribution).toService(EditorCommandContribution); + + // Silent the badge decoration in the Explorer view. + bind(NavigatorTabBarDecorator).toSelf().inSingletonScope(); + rebind(TheiaNavigatorTabBarDecorator).toService(NavigatorTabBarDecorator); }); diff --git a/arduino-ide-extension/src/browser/theia/navigator/navigator-tab-bar-decorator.ts b/arduino-ide-extension/src/browser/theia/navigator/navigator-tab-bar-decorator.ts new file mode 100644 index 00000000..4d374f4b --- /dev/null +++ b/arduino-ide-extension/src/browser/theia/navigator/navigator-tab-bar-decorator.ts @@ -0,0 +1,21 @@ +import { injectable } from 'inversify'; +import { WidgetDecoration } from '@theia/core/lib/browser/widget-decoration'; +import { NavigatorTabBarDecorator as TheiaNavigatorTabBarDecorator } from '@theia/navigator/lib/browser/navigator-tab-bar-decorator'; + +/** + * To silent the badge decoration in the `Explorer`. + * https://github.com/eclipse-theia/theia/issues/8709 + */ +@injectable() +export class NavigatorTabBarDecorator extends TheiaNavigatorTabBarDecorator { + + onStart(): void { + // NOOP + } + + decorate(): WidgetDecoration.Data[] { + // Does not decorate anything. + return []; + } + +}