Re: Info set point at the end of a menu.

[Stefan Monnier]

> Lute Kamstra <address@hidden> writes:
> 
> [...]
> 
> >     (Info-complete-menu-item): Use `with-current-buffer'.
> 
> I've narrowed it down to this change.  `with-current-buffer' doesn't
> save point, while `save-excursion' does.  This causes point to end up
> at the wrong position.  Shall I revert the change by applying the
> patch below?

Sure.  Please also add a comment saying that Info-complete-menu-buffer
might very well be (current-buffer), which is why saving point
is also important.

I don't understand why this code is run when we enter a node, tho.
I thought it would only be called when using `m' or `i'.


        Stefan