GNU bug report logs - #12230
24.2; revert-buffer in an Info buffer should refresh Info-index-nodes

Previous Next

Full log

Message #17 received at 12230 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Juri Linkov <juri <at> jurta.org>
Cc: 12230 <at> debbugs.gnu.org
Subject: Re: bug#12230: 24.2;
	revert-buffer in an Info buffer should refresh Info-index-nodes
Date: Mon, 20 Aug 2012 05:45:24 +0300

> From: Juri Linkov <juri <at> jurta.org>
> Cc: 12230 <at> debbugs.gnu.org
> Date: Mon, 20 Aug 2012 02:39:29 +0300
> 
> >> Since `Info-revert-find-node' is not the right place to clear
> >> the cache because the same problem can occur after killing
> >> the Info buffer and revisiting the same Info manual manually,
> >> perhaps the right fix would be to check the modtime of the Info file
> >> in `Info-find-file' and clear the cache for modified files.
> >
> > That should do the trick, I think.  Thanks.
> 
> Actually there are more caches that should be cleared.
> The following patch should clear them:

Looks good to me, thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.