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 | 2de2d42586a0a8866e7f5447d490a0c345c7ce10 (patch) | |
| tree | f64979edc552c4af8be5a4eecf08cd4f4f273659 /.gitignore | |
| parent | 07120a0562e4a09e189899ef8523aba927cbea0f (diff) | |
Factor out prompt for workspace
* exwm-workspace.el (exwm-workspace--prompt-for-workspace): New function to interactively ask the user for a workspace. (exwm-workspace-switch, exwm-workspace-move-window): Use it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions