diff options
author | James Ross-Gowan <rossymiles@gmail.com> | 2015-02-03 15:25:50 +1100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2015-11-06 19:53:18 +0100 |
commit | 647b360a0aa0a3f8cce75812f9d7eac5a78b7a06 (patch) | |
tree | 4d6c7e98434975f2db2147d69f43183d47b8f8ee /wscript_build.py | |
parent | 68ac45e4876dd8019fc46a2d4b0c20117142eb0b (diff) | |
download | mpv-647b360a0aa0a3f8cce75812f9d7eac5a78b7a06.tar.bz2 mpv-647b360a0aa0a3f8cce75812f9d7eac5a78b7a06.tar.xz |
w32: use DisplayConfig API to retrieve correct monitor refresh rate
This is based on an older patch by James Ross-Gowan. It was rebased and
cleaned up. Also, the DWM API usage present in the older patch was
removed, because DWM reports nonsense rates at least on Windows 8.1
(they are rounded to integers, just like with the old GDI API - except
the GDI API had a good excuse, as it could report only integers).
Signed-off-by: wm4 <wm4@nowhere>
Diffstat (limited to 'wscript_build.py')
-rw-r--r-- | wscript_build.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript_build.py b/wscript_build.py index 0bb0bc0620..d33c07db68 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -355,6 +355,7 @@ def build(ctx): ( "video/out/vo_x11.c" , "x11" ), ( "video/out/vo_xv.c", "xv" ), ( "video/out/w32_common.c", "win32" ), + ( "video/out/win32/displayconfig.c", "win32" ), ( "video/out/wayland_common.c", "wayland" ), ( "video/out/wayland/buffer.c", "wayland" ), ( "video/out/wayland/memfile.c", "wayland" ), |