about summary refs log tree commit diff
diff options
context:
space:
mode:
authorChris Feng <chris.w.feng@gmail.com>2018-02-25T16·25+0800
committerChris Feng <chris.w.feng@gmail.com>2018-02-25T16·25+0800
commitad90af19a6b3db0e9aa987b7b3125b9e1533cc71 (patch)
tree08f3595f230090b2c5202b3f1314d909045fc6ac
parenta6cfe3f22d4dff076e3e5da6676c411a52d6590e (diff)
Make `exwm-manage-ping-timeout' a user option
* exwm-manage.el (exwm-manage-ping-timeout): Now a user option.
-rw-r--r--exwm-manage.el6
1 files changed, 4 insertions, 2 deletions
diff --git a/exwm-manage.el b/exwm-manage.el
index e067eda1f23e..64f802857910 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)