Try to fix crashes when creating and deleting MPV

Try to fix #6 (closed) and #5

added bug label

assigned to @martin2018

added 1 commit

• c5516bf7 - MPV: Use mpv_destroy to delete the player, don't use the "quit" command as it...

Compare with previous version

changed title from UI: Try to fix crashes when creating MPV to UI: Try to fix crashes when creating and deleting MPV

changed the description

requested review from @Elliu

changed title from UI: Try to fix crashes when creating and deleting MPV to Try to fix crashes when creating and deleting MPV

Does not fix #5

added 1 commit

• 67f9fc8a - MPV: Add a button to re-create the MPV context if something went wrong during widget init

Compare with previous version

added 1 commit

• 5b088f4d - MPV: Try the same commands as in lektord to close mpv to try to solve #5

Compare with previous version

added to-review label

added 56 commits

• 5b088f4d...34632648 - 52 commits from branch master
• 5c1b1530 - UI: Try to fix crashes when creating MPV
• e9e14bc4 - MPV: Use mpv_destroy to delete the player, don't use the "quit" command as it...
• ac6b1785 - MPV: Add a button to re-create the MPV context if something went wrong during widget init
• 83aa1371 - MPV: Try the same commands as in lektord to close mpv to try to solve #5

Compare with previous version

added 1 commit

• 3693b16f - MPV: Don't load the video by default, force the user to click on the button to...

Compare with previous version

Ça fix au moins #6 (closed), je vais merge du coup et réouvrir #5

resolved all threads

merged

mentioned in commit 9a20dc51