diff options
| author | Adrián Medraño Calvo <adrian@medranocalvo.com> | 2016-07-17T12·00+0000 |
|---|---|---|
| committer | Adrián Medraño Calvo <adrian@medranocalvo.com> | 2016-07-17T12·00+0000 |
| commit | 90185457261eb77ac80609d5d219e0837e81af82 (patch) | |
| tree | ad36307ae0ba561a01d20b5ec12a37ef9ff07c4f /exwm-manage.el | |
| parent | 8e2da00b6e7e530a53b584184dc94b9366ae7c69 (diff) | |
New function exwm-workspace--workspace-p
* exwm-workspace.el (exwm-workspace--workspace-p): New function. * exwm-input.el (exwm-input--on-ButtonPress): * exwm-workspace.el (exwm-workspace-switch): * exwm-layout.el (exwm-layout--refresh): Use it.
Diffstat (limited to 'exwm-manage.el')
0 files changed, 0 insertions, 0 deletions