diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2018-02-25T16·25+0800 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2018-02-25T16·25+0800 |
| commit | ad90af19a6b3db0e9aa987b7b3125b9e1533cc71 (patch) | |
| tree | 08f3595f230090b2c5202b3f1314d909045fc6ac | |
| parent | a6cfe3f22d4dff076e3e5da6676c411a52d6590e (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.el | 6 |
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) |