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

https://bugzilla.gnome.org/show_bug.cgi?id=568790
---
 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 b03489e24..99b71594b 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -4141,7 +4141,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