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 /pdf.el | |
| 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...
Diffstat (limited to 'pdf.el')
0 files changed, 0 insertions, 0 deletions