Re: xref and displaying locations in appropriate window or frame

[Juri Linkov]

>> I think that once *xref* is displayed, it has to remain displayed
>> as long as the user continues the current navigation.
>
> And how do we establish the fact that the user has discontinued the
> current navigation?  The only way to faithfully do that is by killing
> the *xref* buffer.

There is no need to detect the end of the navigation.  The user can hide
the *xref* buffer anytime, and/or start a new navigation.