diff options
author | wm4 <wm4@nowhere> | 2018-09-22 11:35:32 +0200 |
---|---|---|
committer | sfan5 <sfan5@live.de> | 2018-10-01 10:41:01 +0200 |
commit | 9f6147a56f85533d7ba09e529356197136d43b19 (patch) | |
tree | 78b31704e2a9b057e38ac7b2cca00fed588c916f /player/lua/stats.lua | |
parent | 315004a38a1bf9394507d8ca308da1ce86ca2204 (diff) | |
download | mpv-9f6147a56f85533d7ba09e529356197136d43b19.tar.bz2 mpv-9f6147a56f85533d7ba09e529356197136d43b19.tar.xz |
stats: show file format
Useful in particular with ytdl, where you never know what you get.
Diffstat (limited to 'player/lua/stats.lua')
-rw-r--r-- | player/lua/stats.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/player/lua/stats.lua b/player/lua/stats.lua index 6ee491baf4..95a036d5c4 100644 --- a/player/lua/stats.lua +++ b/player/lua/stats.lua @@ -430,6 +430,8 @@ local function add_file(s) append_property(s, "media-title", {prefix="Title:"}) end + append_property(s, "file-format", {prefix="Format/Protocol:"}) + local ch_index = mp.get_property_number("chapter") if ch_index and ch_index >= 0 then append_property(s, "chapter-list/" .. tostring(ch_index) .. "/title", {prefix="Chapter:"}) |