[Enhancement] Option to change default video decoder

[AnotherJavaUser]

Some custom ROMs on certain devices may have problems playing certain video formats (device issues, not a problem specific to your app). I don't know how hard it is, but it would be great to be able to choose between the device's decoder and the app's built-in decoder (for example, Next Player has this option). This would allow to fix any device issues with video playback.

[IacobIonut01]

Hi @AnotherJavaUser I've created the branch exp/video-ffmpeg that implements the same compatibility methods used in the Next Player, however it increases the app size by a great margin (85.5 MB to 119,3 MB)

You can use that branch to compile the app and check if it fixes your issue

[AnotherJavaUser]

Hi @AnotherJavaUser I've created the branch exp/video-ffmpeg that implements the same compatibility methods used in the Next Player, however it increases the app size by a great margin (85.5 MB to 119,3 MB)

You can use that branch to compile the app and check if it fixes your issue

Thanks for the reply. I tried the hotfix but it didn't change anything on my device (there was no option to explicitly change the decoder either). I am not a developer, so there is also a possibility that I made some mistake during compilation. This problem with video playback (mainly with relatively high resolution/high bitrate media) happens on official Lineage OS for Redmi 9, due to issues with some codecs (I guess because it's one of the few Mediatek devices with official support). Investigating a bit more I also found that Aves Gallery doesn't have these playback issues (although it doesn't seem to have any decoder related settings).