minor annoyance: edge stops audio playback on Android

[batram]

Problem:
After installing/updating the apk on the first launch of edge audio playback on android gets stopped.
Tested on version: 0.9.19+50

Analysis:
According to AI this because on cold starts the splashscreen plays splashscreen.mp4.

Solution:
Modify boot_splash.dart to pass videoPlayerOptions: VideoPlayerOptions(mixWithOthers: true):

  final c = (widget.controllerFactory ??
      () => VideoPlayerController.asset(
            'assets/splash/splashscreen.mp4',
            videoPlayerOptions: VideoPlayerOptions(mixWithOthers: true),
          ))();

Not sure if this is worthy of a pull request 😄

[dannymcc]

Thanks @batram — nailed it. Opened #125 with exactly that: VideoPlayerOptions(mixWithOthers: true) on the splash controller, so the muted video stops requesting audio focus and interrupting playback. Definitely PR-worthy 😄