diff options
| author |  Tom Willemse | 2013-08-06 15:53:20 +0200 |
|---|---|---|
| committer | Tom Willemse | 2013-08-06 15:53:20 +0200 |
| commit | 131cd421c0b41559c0a93e89cd3e1888912b1e2f (patch) | |
| tree | 4872d7bca0ce9d5277ff487bd3e541e5b50c72ed /git: | |
| parent | e2807445bbf814b03a84258745e171aa134cd170 (diff) | |
| download | desktop-registry-131cd421c0b41559c0a93e89cd3e1888912b1e2f.tar.gz desktop-registry-131cd421c0b41559c0a93e89cd3e1888912b1e2f.zip | |
Add desktop-registry-remove-desktop
- desktop-registry.el (desktop-registry--completing-read):
(desktop-registry-remove-desktop): New functions.
(desktop-registry-change-desktop): Use
`desktop-registry--completing-read' to interactively ask the user
which desktop to switch to.
Diffstat (limited to 'git:')
0 files changed, 0 insertions, 0 deletions