Feat: Add a reload button to the player video info bar so you can recover after the player crashes

[mousetail]

Pull Request Type

• Bugfix
• Feature Implementation
• Documentation
• Other

Related issue

Closes #1005

Description

Currently, sometimes the player gets stuck (session timeout, crash, IP ban, etc.) Right now, the only way to recover from this is to go to your history page, find the video again, then load it. It's not a lot of effort but a bit annoying, especially when the video never actually played so it doesn't show in your history and you need to scroll through the channel page again.

This adds a button next to the share and format options to reload the player.

Screenshots

Testing

This is fairly easy to test. Just open a video, and click the new button and see the page reloads.

Desktop

• **OS: ** Linux
• OS Version: 7.0.10-1 MANJARO
• FreeTube version: Development

Additional context

I discussed some thing about this in chat

[radmorecameron]

Haven't tested yet, my initial thought is this seems like a good compromise for the hacky "reload" being removed.

Without having tested this, I feel like our debounce function should probably be used for onManualReloadReloadRequested?

FreeTube/src/renderer/helpers/utils.js

Line 1074 in f7acbc7

export function debounce(func, wait) {

[caetano-dev]

Haven't tested yet, my initial thought is this seems like a good compromise for the hacky "reload" being removed.

Without having tested this, I feel like our debounce function should probably be used for onManualReloadReloadRequested?

FreeTube/src/renderer/helpers/utils.js

Line 1074 in f7acbc7

export function debounce(func, wait) {

Maybe the throttle function would be better, because it executes immediately. debounce has to wait after it is called.

[Shadorc]

Now that manually reloading the player is a valid feature, #9552 (comment) should probably be reconsidered?
@efb4f5ff-1298-471a-8973-3d47447115dc
On second thought, it does not seem useful if it is manually triggered

[absidue]

Refresh page would probably be a more appropriate name as it refreshed everything except the playlist and comments.

[mousetail]

I changed it to Reload Page

[efb4f5ff-1298-471a-8973-3d47447115dc]

• Lets use this icon instead https://fontawesome.com/icons/classic/solid/rotate-right
• Please move the button to sit between Change Media Formats and Share so that options related to the player are grouped

[mousetail]

• Lets use this icon instead https://fontawesome.com/icons/classic/solid/rotate-right

• Please move the button to sit between Change Media Formats and Share so that options related to the player are grouped

Updated

Icon not showing up

[Shadorc]

I get this