ไม่สามารถกำหนดค่าได้เนื่องจากค่าการหมดเวลาถูกกำหนดเป็นค่าคงที่ในแหล่ง mutter gnome-shell อ้างถึงไลบรารี mutter ฉันพบค่าการหมดเวลาที่แหล่ง mutter, mutter-3.10.4 / src / core / display.c
...
#define PING_TIMEOUT_DELAY 5000
และมันถูกใช้โดยฟังก์ชั่นด้านล่างชื่อว่า meta_display_ping_window
ping_data->ping_timeout_id = g_timeout_add (PING_TIMEOUT_DELAY, meta_display_ping_timeout, ping_data);
มันถูกอ้างอิงจากฟังก์ชั่นเมื่อเปิดใช้งานหน้าต่าง:
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)
ดังที่คุณเห็นด้านบนการหมดเวลาคือ 5 วินาที
คุณสามารถปรับเปลี่ยนค่าสำหรับคุณเพียงอย่างเดียวเนื่องจาก mutter เป็นโครงการโอเพ่นซอร์ส
และค่าการหมดเวลามีการอ้างอิงกรณีอื่นเมื่อปิดหน้าต่าง การไหลของการลบหน้าต่างเป็นเช่น
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)
อย่างไรก็ตามฉันคิดว่าคุณต้องแก้ไขแหล่งข้อมูลสำหรับหน้าต่างที่ล่าช้าของคุณ หรือฉันคิดว่าคุณสามารถพูดคุยเกี่ยวกับมันกับนักพัฒนา / ผู้ดูแล mutter
คุณสามารถเตรียมสภาพแวดล้อมการสร้างและรับแหล่งที่มาด้วยคำสั่งดังต่อไปนี้
$ sudo apt-get build-dep mutter
$ sudo apt-get source mutter
เพื่อสร้างมันอ้างอิง
https://www.debian.org/doc/manuals/apt-howto/ch-sourcehandling.en.html
https://wiki.debian.org/BuildingTutorial