mirror of
https://github.com/mpv-player/mpv.git
synced 2026-05-07 20:02:49 +00:00
rcombs
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
|