diff options
| author | JSDurand <mmemmew@gmail.com> | 2022-04-10 13:06:08 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2022-04-10 13:06:08 +0800 |
| commit | deac1e938f092cc62058eda83d5722a2d3cf79b2 (patch) | |
| tree | 5955c7a23dbf9dab67e6312aedcb03bc6980f0b8 /.gitignore | |
| parent | b6a0e0eaa69d071317f1d4fff6b0b2340f11c47d (diff) | |
recentf-conf: don't check if a remote file exists
* recentf-conf.el (file-exists-or-remote-p): If a file name specifies
a remote file, treat it as an existing file.
(choose-recent-file): Don't check if a remote file exists. Otherwise
it will take a sizeable amout of time whenever I want to open a recent
file, which is kind of unacceptable to me.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions