Android 安卓系统中的视频时间轴和收缩缩放

我一直在为android或类似的东西搜索一个可缩放的视频时间表，但只能为iOS找到一个，这与我在android上需要的非常相似

---

所以我的问题是，你们有没有人看过这样的库，或者我将自己创建一个自定义视图。

你们看过ExoPlayer库吗？据我搜索，我只找到了标准的时间线，所有的示例等都是标准的。好吧，我想你们必须自己开发。