diff options
Diffstat (limited to 'player')
| -rw-r--r-- | player/lua/stats.lua | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/player/lua/stats.lua b/player/lua/stats.lua index 913e1d497d..d141e7c76a 100644 --- a/player/lua/stats.lua +++ b/player/lua/stats.lua @@ -891,10 +891,6 @@ local function add_video(s) return end - local osd_dims = mp.get_property_native("osd-dimensions") - local scaled_width = osd_dims["w"] - osd_dims["ml"] - osd_dims["mr"] - local scaled_height = osd_dims["h"] - osd_dims["mt"] - osd_dims["mb"] - append(s, "", {prefix=o.nl .. o.nl .. "Video:", nl="", indent=""}) if append_property(s, "video-codec", {prefix_sep="", nl="", indent=""}) then append_property(s, "hwdec-current", {prefix="HW:", nl="", |