diff options
author | JSDurand <mmemmew@gmail.com> | 2022-02-18 15:41:19 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2022-02-18 15:41:19 +0800 |
commit | f6e277c53b37938a562a9e4729ebc4cc60982009 (patch) | |
tree | e2ceaad9c1bbbf538f3d003255af126a908d1beb | |
parent | 2290a9c413e0a747795640c38666849d965c9057 (diff) |
eww: add a useless check
* eww-conf.el (durand-eww-bookmark-jump): Check if an existing EWW
buffer is a live buffer before we determine that an EWW buffer
already exists. But in my experiments this does not change
anything, so...
-rw-r--r-- | eww-conf.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/eww-conf.el b/eww-conf.el index 284f2b7..1b3f76b 100644 --- a/eww-conf.el +++ b/eww-conf.el @@ -491,10 +491,12 @@ Otherwise, fetch URL and afterwards try to restore the point." (mapcar (lambda (buffer) (cond - ((provided-mode-derived-p - (buffer-local-value - 'major-mode buffer) - 'eww-mode) + ((and + (buffer-live-p buffer) + (provided-mode-derived-p + (buffer-local-value + 'major-mode buffer) + 'eww-mode)) buffer))) (buffer-list)))) buffer) |