|
| From: | martin rudalics |
| Subject: | Re: xref and displaying locations in appropriate window or frame |
| Date: | Fri, 29 Jan 2016 08:27:14 +0100 |
> 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. martin
| [Prev in Thread] | Current Thread | [Next in Thread] |