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-cm.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-cm.el')
0 files changed, 0 insertions, 0 deletions