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 | 0fbc725de1b13572cfc7f4da58c89c576039f249 (patch) | |
tree | f4deba5d73381543622a865f89f66a3784962141 /exwm-config.el | |
parent | f4b8cc47c7a00456566a8a794cd9ee0bf06efaaa (diff) |
Support adding and removing workspaces
Frames created via `make-frame' are added to the workspace list; `delete-frame' removes them from the list. Floating frames, non-graphical frames, as well as those associated to different displays are ignored. When deleting a workspace, care is taken to reparent that all X clients another workspace. * exwm-workspace.el (exwm-workspace--add-frame-as-workspace) (exwm-workspace--remove-frame-as-workspace): New functions that intercept created and deleted frames and configure them as EXWM workspaces. (exwm-workspace--update-ewmh-props): New function to update desktop-related EWMH properties after workspace changes. (exwm-workspace--init): Use `exwm-workspace--add-frame-as-workspace' to create the initial workspaces.
Diffstat (limited to 'exwm-config.el')
0 files changed, 0 insertions, 0 deletions