diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2019-03-10T00·00+0000 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2019-03-10T00·00+0000 |
| commit | b12c67de2ed10e2528b1c494aa08d51b43e563dd (patch) | |
| tree | f96b12b525dbc42df59c3a5ffc41cd8c5e42decb /exwm-core.el | |
| parent | 88c690217aa165db301c47981b52fb7c6df75154 (diff) | |
Make replacing existing WM optional
* exwm.el (exwm-replace): New user option for specifying whether to replace existing WM. (exwm-init): Use it. (exwm--wmsn-acquire, exwm-init): Do not print warning message when user gives up replacing. * exwm-core.el (exwm--wmsn-replace): Remove dead code.
Diffstat (limited to 'exwm-core.el')
| -rw-r--r-- | exwm-core.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/exwm-core.el b/exwm-core.el index 9b6877b83f11..55fbecdddd65 100644 --- a/exwm-core.el +++ b/exwm-core.el @@ -41,9 +41,6 @@ (defvar exwm--wmsn-acquire-timeout 3 "Number of seconds to wait for other window managers to release the selection.") -(defvar exwm--wmsn-replace 'ask - "Replace existing window manager.") - (defvar exwm--guide-window nil "An X window separating workspaces and X windows.") |