summaryrefslogtreecommitdiffstats
path: root/player/lua
diff options
context:
space:
mode:
authorwm4 <wm4@nowhere>2019-12-20 12:53:56 +0100
committerwm4 <wm4@nowhere>2019-12-20 13:00:39 +0100
commit05cd4c9e08f93943bd74f70bf7827fdbf952f17b (patch)
tree0e05ba271d7d1d7644fbbd974d2da7b19eb806dd /player/lua
parentac474631c1b0a3f98b0e4cb22127afe0f8eb9292 (diff)
downloadmpv-05cd4c9e08f93943bd74f70bf7827fdbf952f17b.tar.bz2
mpv-05cd4c9e08f93943bd74f70bf7827fdbf952f17b.tar.xz
console: use hidpi scale reporting
I decided to factor this into the user's scale option (instead of somehow using it as default if the user has not specified it), because it makes the option handling simpler, and won't break things like per-screen DPI if the user only wants to scale the console font by a factor.
Diffstat (limited to 'player/lua')
-rw-r--r--player/lua/console.lua9
1 files changed, 7 insertions, 2 deletions
diff --git a/player/lua/console.lua b/player/lua/console.lua
index bc74b5d313..c59874cd32 100644
--- a/player/lua/console.lua
+++ b/player/lua/console.lua
@@ -143,9 +143,13 @@ end
function update()
pending_update = false
+ local dpi_scale = mp.get_property_native("display-hidpi-scale", 1.0)
+
+ dpi_scale = dpi_scale * opts.scale
+
local screenx, screeny, aspect = mp.get_osd_size()
- screenx = screenx / opts.scale
- screeny = screeny / opts.scale
+ screenx = screenx / dpi_scale
+ screeny = screeny / dpi_scale
-- Clear the OSD if the REPL is not active
if not repl_active then
@@ -675,6 +679,7 @@ end)
-- PlayRes of the OSD will need to be adjusted.
mp.observe_property('osd-width', 'native', update)
mp.observe_property('osd-height', 'native', update)
+mp.observe_property('display-hidpi-scale', 'native', update)
-- Enable log messages. In silent mode, mpv will queue log messages in a buffer
-- until enable_messages is called again without the silent: prefix.