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

Add current value display to Player widget #229

Closed
philippjfr opened this issue Jan 31, 2019 · 2 comments · Fixed by #7060
Closed

Add current value display to Player widget #229

philippjfr opened this issue Jan 31, 2019 · 2 comments · Fixed by #7060
Labels
type: enhancement Minor feature or improvement to an existing feature
Milestone
v1.5.0

Comments

@philippjfr
Copy link
Member

Unlike many other widgets the Player and DiscretePlayer widgets do not display the current value. This should be easy to add now that we have JS links.
@kcpevey
Copy link
Contributor

kcpevey commented Jun 27, 2019

@philippjfr This is definitely a need for me.

@philippjfr philippjfr added the type: enhancement Minor feature or improvement to an existing feature label Jul 25, 2019
@philippjfr philippjfr added this to the v0.6.0 milestone Jul 25, 2019
@philippjfr philippjfr modified the milestones: v0.7.0, v0.7.1 Nov 13, 2019
@philippjfr philippjfr modified the milestones: v0.7.1, v0.8.0, v0.8.x Jan 16, 2020
@philippjfr philippjfr modified the milestones: v0.8.x, v0.9.0, v0.9.2 Mar 12, 2020
@philippjfr philippjfr modified the milestones: v0.9.2, v0.9.4 Mar 21, 2020
@philippjfr philippjfr modified the milestones: v0.9.4, v0.9.5, v0.9.6 Apr 2, 2020
@philippjfr philippjfr modified the milestones: v0.9.6, v0.10.0 May 19, 2020
@kcpevey kcpevey modified the milestones: v0.10.0, next Aug 3, 2020
@philippjfr philippjfr modified the milestones: next, v0.12.0 Jun 29, 2021
@philippjfr philippjfr modified the milestones: next, 0.13.0 Aug 12, 2021
@philippjfr philippjfr removed this from the v0.13.0 milestone Feb 14, 2022
@philippjfr philippjfr added this to the Wishlist milestone Feb 14, 2022
@TheoMathurin
Copy link
Contributor

Would be very nice indeed!

@droumis droumis mentioned this issue Jul 4, 2023
Closed
@benbarn313 benbarn313 mentioned this issue Dec 15, 2023
Closed
@ahuang11 ahuang11 mentioned this issue Aug 2, 2024
Merged
@philippjfr philippjfr modified the milestones: Wishlist, v1.5.0 Aug 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: enhancement Minor feature or improvement to an existing feature
Projects
None yet
Milestone
v1.5.0
Development

Successfully merging a pull request may close this issue.

Display value for player holoviz/panel
3 participants
@philippjfr @kcpevey @TheoMathurin