Subject: Re: bug#12230: 24.2; revert-buffer in an Info buffer should refresh Info-index-nodes

From: martin rudalics <[email-masked]>
Date: Tue, 21 Aug 2012 08:49:13 +0200

> +	  (set-window-start (selected-window) (nth 3 hist))))))
[...]
 > +    (set-window-start (selected-window) ostart)))
[...]
 > +    (set-window-start (selected-window) ostart)))

Are you sure you want to force start positions here?

martin