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 /NEWS | |
| 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 'NEWS')
| -rw-r--r-- | NEWS | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ +# -*- mode: org; -*- +#+STARTUP: showall + +* Development + + - Add =desktop-registry-remove-desktop= command to remove desktops you + no longer (want to) use. |