diff options
| author | wm4 <wm4@nowhere> | 2013-07-26 00:18:05 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2013-07-26 00:19:15 +0200 |
| commit | bd1d3eaacbcebe3a260a3c168be7c2c1999a59ac (patch) | |
| tree | 0831c11c30ea5997b24f44a7414b2bf679656cdf /video | |
| parent | d1d6db25c0e68338b79735016e6079335ffea12b (diff) | |
| download | mpv-bd1d3eaacbcebe3a260a3c168be7c2c1999a59ac.tar.bz2 mpv-bd1d3eaacbcebe3a260a3c168be7c2c1999a59ac.tar.xz | |
command: allow printing time properties with milliseconds
Doing e.g. show_text "${time-pos/full}" will show the time formatted
with a milliseconds part.
This is actually special cased for a few properties which use
CONF_TYPE_TIME, instead of making all properties using CONF_TYPE_TIME
respect this. This is a technical limitation.
I'm not entirely happy with this approach, so I'll leave it
undocumented. It's relatively ok, but he fact that it's special-cased to
some properties is not elegant. So for now, this is just a hack to make
ChrisK2 happy (hi there).
Diffstat (limited to 'video')
0 files changed, 0 insertions, 0 deletions