diff options
| author | JSDurand <mmemmew@gmail.com> | 2022-11-24 14:14:03 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2022-11-24 14:14:03 +0800 |
| commit | 6372bfbf10b500ce708a9f0fde8caae67c667d7a (patch) | |
| tree | f6536f746e741a4ab12f0acb32c7bb6ec4477d52 /man-conf.el | |
| parent | c7771087579d53490c7fc47c78578d64e3c88d5e (diff) | |
desktop: save bookmarks while saving desktop
* desktop-conf.el (desktop-save-hook): Also save bookmarks while
saving the desktop file.
Diffstat (limited to 'man-conf.el')
0 files changed, 0 insertions, 0 deletions