diff options
| author | jao <jao@gnu.org> | 2025-09-22 13:14:06 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2025-09-22 13:14:06 +0100 |
| commit | b1434dd1cbbf923385e4eef6ed288225e5280037 (patch) | |
| tree | 422e036612a4f08c05421d49d59d99ae9fd5ad43 /lib/eos | |
| parent | f111725d0543c491e694b40de1825d8535c1e1f4 (diff) | |
| download | elibs-b1434dd1cbbf923385e4eef6ed288225e5280037.tar.gz elibs-b1434dd1cbbf923385e4eef6ed288225e5280037.tar.bz2 | |
jao-doc-session: easier spec of saved docs
Diffstat (limited to 'lib/eos')
| -rw-r--r-- | lib/eos/jao-afio.el | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/lib/eos/jao-afio.el b/lib/eos/jao-afio.el index 4506bd8..0a6d8e6 100644 --- a/lib/eos/jao-afio.el +++ b/lib/eos/jao-afio.el @@ -71,12 +71,11 @@ ;;;###autoload (defun jao-afio-open-pdf-session (&optional docs) (interactive) - (let ((jao-doc-session-inhibit-save t)) - (dolist (doc (or docs (jao-doc-session))) - (when (and doc (file-exists-p doc)) - (if (jao-pdf-is-pdf-file doc) (jao-open-doc doc) (find-file doc)) - (other-window 1))) - (other-window 1))) + (dolist (doc (or docs (jao-doc-session))) + (when (and doc (file-exists-p doc)) + (if (jao-pdf-is-pdf-file doc) (jao-open-doc doc) (find-file doc)) + (other-window 1))) + (other-window 1)) (defun jao-afio-open-doc () (interactive) |