summaryrefslogtreecommitdiffstats
path: root/wscript_build.py
diff options
context:
space:
mode:
authorJames Ross-Gowan <rossymiles@gmail.com>2015-02-03 15:25:50 +1100
committerwm4 <wm4@nowhere>2015-11-06 19:53:18 +0100
commit647b360a0aa0a3f8cce75812f9d7eac5a78b7a06 (patch)
tree4d6c7e98434975f2db2147d69f43183d47b8f8ee /wscript_build.py
parent68ac45e4876dd8019fc46a2d4b0c20117142eb0b (diff)
downloadmpv-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.py1
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" ),