Eli Zaretskii writes: >> From: Manuel Giraud >> Cc: 68006@debbugs.gnu.org >> Date: Mon, 25 Dec 2023 19:59:10 +0100 >> >> About being sure to display the file on disk, maybe we could call >> 'image-flush' only if the file has changed since its display. WDYT? > > Provided that the check is reliable, I guess so. > > In any case, I think we should be cautious and leave a knob to get > back the old behavior, in case there are some situations we don't > anticipate that need to flush the caches. Hi, What do you think of this? Of course, it will need a NEWS entry but I wanted to polish it first. I have made it opt-in. I have used it a bit the cache could grow fast but I find it quite pleasant to use (for Docview also).