Web Player user control menu options

Ideas
1

Hi,

First and most importantly, great project.

The only real trouble I have, is the Web Player user control menu does not have any options. For example, just ‘controls: true/false/auto’.

When recording stdout that is 2hr+ long, it becomes difficult to use the web player - for a few reasons.

  • No instruction how to alter the control bar height so that it is more visible. Alterations can be done by CSS, but it is not clear.

  • Similar to YouTube and others, a () circle when you hover over a new point in the timeline would be very helpful in seeking the appropriate point in the recording.

  • Similar to YouTube and others, a settings cog {} in the corner provides the user with the ability to adjust the playback speed themselves (0.25, 0.5, 0.75, 1.5, 2.0) when required, e.g. a lot of stdout occurs at once and scrollback is not possible in the web player.

Food for thought. Overall the functionality works perfectly for me, but others from my community have complained about the above concerns ^

Thanks!