diff options
| author | wm4 <wm4@nowhere> | 2019-12-20 12:53:56 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2019-12-20 13:00:39 +0100 |
| commit | 05cd4c9e08f93943bd74f70bf7827fdbf952f17b (patch) | |
| tree | 0e05ba271d7d1d7644fbbd974d2da7b19eb806dd /DOCS | |
| parent | ac474631c1b0a3f98b0e4cb22127afe0f8eb9292 (diff) | |
| download | mpv-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 'DOCS')
| -rw-r--r-- | DOCS/man/console.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/DOCS/man/console.rst b/DOCS/man/console.rst index 89726b72a6..3c83d7e877 100644 --- a/DOCS/man/console.rst +++ b/DOCS/man/console.rst @@ -89,7 +89,10 @@ Configurable Options Default: 1 All drawing is scaled by this value, including the text borders and the - cursor. Change it if you have a high-DPI display. + cursor. + + If the VO backend in use has HiDPI scale reporting implemented, the option + value is scaled with the reported HiDPI scale. ``font`` Default: unset (picks a hardcoded font depending on detected platform) |