Re: Reload file from disk

[Eli Zaretskii]

> From: Ken Olum <address@hidden>
> Date: Sat, 11 Nov 2017 08:45:04 -0500
> 
>    > (I still find the default behavior thoroughly bizarre, but that's
>    > probably a matter of taste.)
> 
>    I'm with you, but it looks like we are the minority nowadays.
> 
> I redefined find-file-read-args in my init file to reinstate the old
> behavior when the new came out.  How about a variable to control this
> for the possibly large minority that prefer the old behavior?

There's already a variable: file-name-at-point-functions.  It just was
undocumented until now.  Given that it's documented, do we still need
a separate knob?