我正在寻找混合媒体（GIF、MP4 等）的播放列表，以艺术方式展示来自多个合作者的不同动画，而 VLC 显然是首选，因为它支持有序播放列表，我们希望能够对这些动画进行排序。
不幸的是，默认情况下 VLC 不能播放 GIF 格式，但是根据这篇文章，它确实有这个功能：
https://trac.videolan.org/vlc/ticket/6697#comment:5
作为 VLC 的最终用户，我是否可以
“注释掉 modules/demux/image.c 中格式表中的 GIF89a 条目”
或者我需要修改源代码并编译修改后的 libvlc？这将是非常不理想的。
另外，如果有人知道有其他媒体播放器可以按照用户顺序处理同一播放列表中的 gif 和 mp4，那就太好了。我目前的备用方案是使用 Windows 照片应用程序重命名文件夹中的项目，使其按特定顺序播放，但这需要有人在场才能前进到下一个项目