From 8a7d588bb0cc4d9474513f0dee85f3f4de1b0beb Mon Sep 17 00:00:00 2001
From: Vincent Untz <vuntz@gnome.org>
Date: Wed, 20 Jan 2010 15:11:02 -0500
Subject: Increase ping timeout delay to 5s

---
 src/core/display.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/display.c b/src/core/display.c
index 11ea669f..f5cbdce5 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -4011,7 +4011,7 @@ meta_set_syncing (gboolean setting)
  * How long, in milliseconds, we should wait after pinging a window
  * before deciding it's not going to get back to us.
  */
-#define PING_TIMEOUT_DELAY 2250
+#define PING_TIMEOUT_DELAY 5000
 
 /**
  * Does whatever it is we decided to do when a window didn't respond
-- 
cgit v1.2.1