From defaac1ee10b46bc6e8e30db28073758e1880cff Mon Sep 17 00:00:00 2001
From: mykdavies <mykdavies+github@gmail.com>
Date: Sun, 23 Jul 2023 20:21:20 +0200
Subject: [PATCH] Make VideoPlayer play nicely (#449)

Might lead to requests to pause other sources on unmute, but let's solve
one problem at a time.

Co-authored-by: @mykdavies <mykdavies@gmail.com>
---
 lib/widgets/post/post_video.dart | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/lib/widgets/post/post_video.dart b/lib/widgets/post/post_video.dart
index 1ff7d48e..dd8f9a0c 100644
--- a/lib/widgets/post/post_video.dart
+++ b/lib/widgets/post/post_video.dart
@@ -27,10 +27,12 @@ class _PostVideoState extends State<PostVideo> {
   void initState() {
     super.initState();
 
-    _controller = VideoPlayerController.networkUrl(url, httpHeaders: {
-      HttpHeaders.userAgentHeader:
-          Platform.isAndroid ? 'ExoPlayer' : 'Liftoff/1.0'
-    });
+    _controller = VideoPlayerController.networkUrl(url,
+        httpHeaders: {
+          HttpHeaders.userAgentHeader:
+              Platform.isAndroid ? 'ExoPlayer' : 'Liftoff/1.0'
+        },
+        videoPlayerOptions: VideoPlayerOptions(mixWithOthers: true));
 
     _controller.setLooping(true);