diff options
author | wm4 <wm4@nowhere> | 2013-10-25 20:30:01 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2013-10-25 20:30:01 +0200 |
commit | de303d8ba4361bd4d7e7de09331edad64edd924f (patch) | |
tree | e5eb557d9a6fc81e056f42f65a736ba2e475df96 /video | |
parent | bc49957458870cc9fb19a3450f26ba625ade1e54 (diff) | |
download | mpv-de303d8ba4361bd4d7e7de09331edad64edd924f.tar.bz2 mpv-de303d8ba4361bd4d7e7de09331edad64edd924f.tar.xz |
x11_common: reduce screensaver heartbeat from 30 to 10 seconds
Apparently this fixes issues with Gnome, which has a smaller timeout.
See github issue #315.
Diffstat (limited to 'video')
-rw-r--r-- | video/out/x11_common.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/video/out/x11_common.c b/video/out/x11_common.c index 2e51eea47a..426b65b05a 100644 --- a/video/out/x11_common.c +++ b/video/out/x11_common.c @@ -1543,7 +1543,7 @@ static void xscreensaver_heartbeat(struct vo_x11_state *x11) double time = mp_time_sec(); if (x11->display && x11->screensaver_off && - (time - x11->screensaver_time_last) > 30) + (time - x11->screensaver_time_last) >= 10) { x11->screensaver_time_last = time; |