mirror of https://github.com/mpv-player/mpv
stats.lua: rename a variable
This commit is contained in:
parent
63a81515ad
commit
e34f6569ee
|
@ -1525,7 +1525,7 @@ local function print_page(page, after_scroll)
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
local function update_scale(value)
|
local function update_scale(osd_height)
|
||||||
local scale_with_video
|
local scale_with_video
|
||||||
if o.vidscale == "auto" then
|
if o.vidscale == "auto" then
|
||||||
scale_with_video = mp.get_property_native("osd-scale-by-window")
|
scale_with_video = mp.get_property_native("osd-scale-by-window")
|
||||||
|
@ -1535,8 +1535,8 @@ local function update_scale(value)
|
||||||
|
|
||||||
-- Calculate scaled metrics.
|
-- Calculate scaled metrics.
|
||||||
local scale = 1
|
local scale = 1
|
||||||
if not scale_with_video and value > 0 then
|
if not scale_with_video and osd_height > 0 then
|
||||||
scale = 720 / value
|
scale = 720 / osd_height
|
||||||
end
|
end
|
||||||
font_size = o.font_size * scale
|
font_size = o.font_size * scale
|
||||||
border_size = o.border_size * scale
|
border_size = o.border_size * scale
|
||||||
|
@ -1548,13 +1548,12 @@ local function update_scale(value)
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
local function handle_osd_height_update(_, value)
|
local function handle_osd_height_update(_, osd_height)
|
||||||
update_scale(value)
|
update_scale(osd_height)
|
||||||
end
|
end
|
||||||
|
|
||||||
local function handle_osd_scale_by_window_update()
|
local function handle_osd_scale_by_window_update()
|
||||||
local value = mp.get_property_native("osd-height")
|
update_scale(mp.get_property_native("osd-height"))
|
||||||
update_scale(value)
|
|
||||||
end
|
end
|
||||||
|
|
||||||
local function clear_screen()
|
local function clear_screen()
|
||||||
|
|
Loading…
Reference in New Issue