diff options
author | JSDurand <mmemmew@gmail.com> | 2023-06-19 01:43:50 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-06-19 01:43:50 +0800 |
commit | 65db3d46ee23f6b17d899d9fefcb41dd0471b4bc (patch) | |
tree | c474e86960497343e330cd223d6262671c9e14c3 /tex-conf.el | |
parent | 409afb58f365d609c80c598a5de687213c027065 (diff) |
desktop: inhibit message when saving bookmarks
* desktop-conf.el (desktop-also-save-bookmarks): Inhibit message when
saving bookmarks as a consequence of saving the desktop file.
Diffstat (limited to 'tex-conf.el')
0 files changed, 0 insertions, 0 deletions