diff options
author | nanahi <130121847+na-na-hi@users.noreply.github.com> | 2024-01-05 00:25:28 -0500 |
---|---|---|
committer | sfan5 <sfan5@live.de> | 2024-01-10 00:33:05 +0100 |
commit | a504e696c8a45df50cb2dd21e21445221a551555 (patch) | |
tree | b3bb6678de9f424175edfb1db20089f2e79a19c4 /video/out/x11_common.h | |
parent | 485221ba22674045d1af822b08fa193862dd835b (diff) | |
download | mpv-a504e696c8a45df50cb2dd21e21445221a551555.tar.bz2 mpv-a504e696c8a45df50cb2dd21e21445221a551555.tar.xz |
x11_common: allow DPI scale in unit of 0.5
~144 DPI displays are pretty common and neither 1x nor 2x scales are
the right size for it. Allow DPI scale in unit of 0.5 to fix this.
Additionally, add a note about the current behavior of the API used
to get the scale factor.
Diffstat (limited to 'video/out/x11_common.h')
-rw-r--r-- | video/out/x11_common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/video/out/x11_common.h b/video/out/x11_common.h index 62a96d7043..8587c452c6 100644 --- a/video/out/x11_common.h +++ b/video/out/x11_common.h @@ -61,7 +61,7 @@ struct vo_x11_state { int display_is_local; int ws_width; int ws_height; - int dpi_scale; + double dpi_scale; struct mp_rect screenrc; char *window_title; |