mirror of
https://github.com/mpv-player/mpv.git
synced 2024-09-20 03:52:22 +02:00
d3a63e16d2
This gives these properties the "time" type, which allows them to be pretty-printed as HH:MM:SS easily (but also still allows raw formatting using e.g. ${=sub-start}).
2 lines
60 B
Plaintext
2 lines
60 B
Plaintext
change type of `sub-start` and `sub-end` properties to time
|