Make `exwm-manage-ping-timeout' a user option

* exwm-manage.el (exwm-manage-ping-timeout): Now a user option.
This commit is contained in:
Chris Feng 2018-02-26 00:25:11 +08:00
parent a6cfe3f22d
commit ad90af19a6

View file

@ -43,6 +43,10 @@ corresponding buffer."
You can still make the X windows floating afterwards." You can still make the X windows floating afterwards."
:type 'boolean) :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. ;; FIXME: Make the following values as small as possible.
(defconst exwm-manage--height-delta-min 5) (defconst exwm-manage--height-delta-min 5)
(defconst exwm-manage--width-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 (defvar exwm-manage--ping-lock nil
"Non-nil indicates EXWM is pinging a window.") "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--current)
(defvar exwm-workspace--id-struts-alist) (defvar exwm-workspace--id-struts-alist)
(defvar exwm-workspace--list) (defvar exwm-workspace--list)