From ad90af19a6b3db0e9aa987b7b3125b9e1533cc71 Mon Sep 17 00:00:00 2001 From: Chris Feng Date: Mon, 26 Feb 2018 00:25:11 +0800 Subject: [PATCH] Make `exwm-manage-ping-timeout' a user option * exwm-manage.el (exwm-manage-ping-timeout): Now a user option. --- exwm-manage.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/exwm-manage.el b/exwm-manage.el index e067eda1f..64f802857 100644 --- a/exwm-manage.el +++ b/exwm-manage.el @@ -43,6 +43,10 @@ corresponding buffer." You can still make the X windows floating afterwards." :type 'boolean) +(defcustom exwm-manage-ping-timeout 3 + "Seconds to wait before killing a client." + :type 'integer) + ;; FIXME: Make the following values as small as possible. (defconst exwm-manage--height-delta-min 5) (defconst exwm-manage--width-delta-min 5) @@ -59,8 +63,6 @@ You can still make the X windows floating afterwards." (defvar exwm-manage--ping-lock nil "Non-nil indicates EXWM is pinging a window.") -(defvar exwm-manage-ping-timeout 3 "Seconds to wait before killing a client.") - (defvar exwm-workspace--current) (defvar exwm-workspace--id-struts-alist) (defvar exwm-workspace--list)