27 apr. 2019 kl. 18.52 skrev Eli Zaretskii : > > w32notify cannot watch a single file, because the Windows notification > machinery is directory-oriented, and reports all changes in the > directory. Right; thanks for the correction. Here is an updated patch. There is a new variable, `auto-revert-always-poll', which is t by default. There is also a note in etc/NEWS. Does it merit a mention in the manual as well?