Skip to content

As a Theia user I want to disable tab-bar badges via a preference #8709

New issue
New issue
Open
seantan22/theia
#2
Open
As a Theia user I want to disable tab-bar badges via a preference#8709
seantan22/theia
#2
Labels
badgeissues related to badge decorationsenhancementissues that are enhancements to current functionality - nice to havespreferencesissues related to preferences
@kittaakos

Description

@kittaakos
kittaakos
opened on Nov 4, 2020

Tab-bar badge is a cool feature 👍 but I would like to disable it via a preference. Currently, it is not possible without custom code. I want to disable them selectively; keep it for Git/SCM and Debug, and let's say, disable it for the Explorer.

Metadata

Metadata

Assignees

No one assigned

    Labels

    badgeissues related to badge decorationsenhancementissues that are enhancements to current functionality - nice to havespreferencesissues related to preferences

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions