Il n'a pas pu être configuré, car la valeur de délai d'attente est définie comme une valeur constante dans la source de murmure. gnome-shell fait référence à la bibliothèque mutter. J'ai trouvé la valeur du délai d'attente à la source du murmure, mutter-3.10.4 / src / core / display.c.
...
#define PING_TIMEOUT_DELAY 5000
Et il est utilisé par une fonction ci-dessous nommée meta_display_ping_window
ping_data->ping_timeout_id = g_timeout_add (PING_TIMEOUT_DELAY, meta_display_ping_timeout, ping_data);
Il se réfère à la fonction lorsque la fenêtre est activée:
window_activate(mutter-3.10.4/src/core/window.c) -> meta_window_check_alive(mutter-3.10.4/src/core/delete.c) -> meta_display_ping_window(mutter-3.10.4/src/core/display.c)
Comme vous pouvez le voir ci-dessus, le délai d'attente est de 5 secondes.
Vous pouvez modifier la valeur juste pour vous car le mutter est un projet open source.
Et la valeur du délai d'attente est référencée dans un autre cas lorsque la fenêtre est fermée. Le flux de suppression de fenêtre est comme
meta_window_delete(mutter-3.10.4/src/core/delete.c) -> meta_window_check_alive(mutter-3.10.4/src/core/delete.c) -> meta_display_ping_window(mutter-3.10.4/src/core/display.c)
Cependant, je pense que vous devez modifier la source de votre fenêtre différée. Ou je pense que vous pouvez en discuter avec les développeurs / mainteneurs.
Vous pouvez préparer l'environnement de génération et obtenir la source avec les commandes suivantes.
$ sudo apt-get build-dep mutter
$ sudo apt-get source mutter
Pour le construire, reportez-vous
https://www.debian.org/doc/manuals/apt-howto/ch-sourcehandling.fr.html
https://wiki.debian.org/BuildingTutorial