wm4 fe782a6e95 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.		2014-08-16 21:56:22 +02:00
..
checks	build: use -pthread when available	2014-04-27 10:40:01 +02:00
detections	build: enable compiler optimization by default	2014-07-20 00:08:36 +02:00
fragments	x11: use xrandr to retrieve display refresh rate	2014-08-16 21:56:22 +02:00
generators	build: expose waf variants to the user	2014-08-06 09:31:59 +02:00
__init__.py
dependencies.py	build: make deps_neg work with multiple dependencies	2013-11-29 23:31:17 +01:00
features.py	build: hide duplicate options from --help	2013-12-26 10:09:17 +01:00
inflectors.py
syms.py	build: syms: reindent	2014-08-05 12:57:34 +02:00
waf_customizations.py	waf: make shlib tasks less noisy	2014-05-07 21:16:07 +02:00