[mutter] Increase ping timeout delay to 5s

[Owen Taylor <otaylor src gnome org>]

commit 6638d0e507283dd02fa4e8d0a0651c3acef79602
Author: Vincent Untz <vuntz gnome org>
Date:   Wed Jan 20 15:11:02 2010 -0500

    Increase ping timeout delay to 5s
    
    https://bugzilla.gnome.org/show_bug.cgi?id=568790

 src/core/display.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/core/display.c b/src/core/display.c
index b03489e..99b7159 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