diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2017-07-16T09·08+0800 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2017-07-16T09·08+0800 |
| commit | 7d967e73619e3628848b711f482b5db816636bda (patch) | |
| tree | 3487a048f9d8d66c9e8b68bda9f40d845d3d1287 /exwm.el | |
| parent | 19515dc0749e820be5ec528c7a9a7bdceaac7c65 (diff) | |
Allow customizing workspace indexes
* exwm-workspace.el (exwm-workspace-index-map): New variable for customizing workspace indexes. (exwm-workspace--update-switch-history): Use it.
Diffstat (limited to 'exwm.el')
0 files changed, 0 insertions, 0 deletions