diff options
| author | Adrián Medraño Calvo <adrian@medranocalvo.com> | 2018-03-06T00·00+0000 |
|---|---|---|
| committer | Adrián Medraño Calvo <adrian@medranocalvo.com> | 2018-03-06T00·00+0000 |
| commit | 7aae6efdcd5d64c528315d08e49cdef2e956b540 (patch) | |
| tree | 39d9111bc9c7bdc6bdce2a9f3b8956a33dca5cd1 /exwm-manage.el | |
| parent | 350950abfce892a1f6f6fc5023ae576801a253ca (diff) | |
Support replacing and being replaced by other window managers
* exwm.el (exwm--on-SelectionClear, exwm--init-icccm-ewmh) (exwm--exit-icccm-ewmh, exwm--wmsn-acquire, exwm--wmsn-release): Get the window manager selection; die when it is cleared.
Diffstat (limited to 'exwm-manage.el')
0 files changed, 0 insertions, 0 deletions