Display value for player

[benbarn313]

player.demo.mp4

PR closes issue #229

Added display value for the Player widget
Added the param "value_location" to the Slider, which sets where the value is displayed

Planning on adding support for the Name param as well

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (0824f9c) 82.98% compared to head (c49d092) 83.91%.
Report is 59 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #6059      +/-   ##
==========================================
+ Coverage   82.98%   83.91%   +0.92%     
==========================================
  Files         295      300       +5     
  Lines       44038    44700     +662     
==========================================
+ Hits        36543    37508     +965     
+ Misses       7495     7192     -303     

Flag	Coverage Δ
ui-tests	40.20% <100.00%> (+2.04%)	⬆️
unitexamples-tests	72.19% <25.00%> (-0.38%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[benbarn313]

@philippjfr can you take a look at this?

[ahuang11]

Awesome! You're becoming the Player* expert!

Lots of people will appreciate this feature :)

[philippjfr]

This is looking great! In practice we mostly use DiscretePlayer and there we don't currently have the corresponding labels available in the frontend right? So I think we have to add (optional) support for sending a list of string labels which will be displayed instead of the Player index.