diff options
| author | Vincent Untz <vuntz@gnome.org> | 2010-01-20 15:11:02 -0500 |
|---|---|---|
| committer | Thomas Thurman <tthurman@gnome.org> | 2010-01-20 15:11:02 -0500 |
| commit | 8a7d588bb0cc4d9474513f0dee85f3f4de1b0beb (patch) | |
| tree | 357adc8beddf6660c5dc0779a061d237242eabd7 | |
| parent | 4943d79d6844af3f7fc0a15ceadb69d95c4c5c61 (diff) | |
| download | metacity-8a7d588bb0cc4d9474513f0dee85f3f4de1b0beb.tar.gz | |
Increase ping timeout delay to 5s
| -rw-r--r-- | 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 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 |