Add the ability to repeat a single video in a playlist

[HankFreeman1]

For #766, this PR adds a "repeat current video" toggle to the player controls when playing a playlist.

Notes

• When playing a single video, no repeat button is shown as the repeat behavior is controlled by the existing setting in preferences.
• When playing a playlist, a repeat button appears in the player controls. Tapping it loops the current video indefinitely, and tapping again resumes normal playlist progression.

Demo

Apologies that the demo is very clunky. My CCwGTV is already slow, and the debug version of the app runs even slower, and then I'm trying to capture video over adb. 😆

scrcpy_uddWI9zApB.mp4

[WasmachenDennSachenSo]

Very cool, thank you! It might be a good idea tho to also add the loop toggle to single videos to temporary overwrite the global setting. Many video players do it that way.

[HankFreeman1]

Very cool, thank you!

Glad you like it!

It might be a good idea tho to also add the loop toggle to single videos to temporary overwrite the global setting.

Not a bad idea, but is there any reason as a user not to choose "loop" as the default option in this case? If you don't want to watch it again, you just back out after it loops. You'd back to back out anyway, right?

Maybe @damontecres will have an opinion! It shouldn't be too hard to always show the loop button if that's what we want. 😊