Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Is it possible to add a dynamically changing badge number to a Widget label? #4311

Closed
duemaster opened this issue Feb 12, 2019 · 1 comment · Fixed by #8156
Closed

Is it possible to add a dynamically changing badge number to a Widget label? #4311

duemaster opened this issue Feb 12, 2019 · 1 comment · Fixed by #8156
Labels
enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help ui/ux issues related to user interface / user experience

Comments

@duemaster
Copy link

It is something like Github's issue
screenshot from 2019-02-12 17-56-50
except that I can dynamically change the badge number via events.

This is displayed on a Widget label on the right area.
@duemaster duemaster changed the title Is it possible to add a Dynamically changing badge number to a Widget label? Is it possible to add a dynamically changing badge number to a Widget label? Feb 12, 2019
@kittaakos kittaakos added enhancement issues that are enhancements to current functionality - nice to haves ui/ux issues related to user interface / user experience labels Feb 12, 2019
@kittaakos
Copy link
Contributor

AFAIK, there is no such API yet. You have to implement your own, take a look into tab-bar.ts. We have customized the default PhosphorJS implementation. This would be a nice feature, so as always, we are open for PRs.

@vince-fugnitto vince-fugnitto added the help wanted issues meant to be picked up, require help label Jan 7, 2020
This was referenced Jul 7, 2020
Closed
Closed
Closed
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help ui/ux issues related to user interface / user experience
Projects
None yet
Milestone
No milestone
3 participants
@kittaakos @duemaster @vince-fugnitto