x11: use xrandr to retrieve display refresh rate

Drop use of the ancient XF86VM, and use the slightly less ancient Xrandr
extension to retrieve the refresh rate. Xrandr has the advantage that it
supports multiple monitors (at least the modern version of it).

For now, we don't attempt any dynamic reconfiguration. We don't request
and listen to Xrandr events, and we don't notify the VO code of changes
in the refresh rate. (The later works by assuming that X coordinates map
directly to Xrandr coordinates, which probably is wrong with compositing
window manager, at least if these use complicated transformations. But I
know of no API to handle this.)

It would be nice to drop use of the Xinerama extension too, but
unfortunately, at least one EWMH feature uses Xinerama screen numbers,
and I don't know how that maps to Xrandr outputs.

1 files changed, 3 insertions, 4 deletions

diff --git a/wscript b/wscript
index 464be54b09..478a6cefe7 100644
--- a/wscript
+++ b/wscript
@@ -567,11 +567,10 @@ video_output_features = [
         'deps': [ 'x11' ],
         'func': check_pkg_config('xinerama'),
     }, {
-        'name': '--xf86vm',
-        'desc': 'Xxf86vm',
+        'name': '--xrandr',
+        'desc': 'Xrandr',
         'deps': [ 'x11' ],
-        'func': check_cc(fragment=load_fragment('xf86vm.c'),
-                         lib='Xxf86vm', use='x11')
+        'func': check_pkg_config('xrandr'),
     } , {
         'name': '--xf86xk',
         'desc': 'XF86keysym',