|
| From: | Dmitry Gutov |
| Subject: | bug#34908: Push mark in xref-push-marker-stack |
| Date: | Tue, 19 Mar 2019 13:57:31 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 |
On 19.03.2019 8:16, Eli Zaretskii wrote:
Fine with me to add that (I think etags.el-based M-. did this), but please make sure the manual and NEWS are updated with this information.
The closer counterpart to find-tag-in-order calling push-mark would be to add that call at the beginning of xref--show-xrefs.
| [Prev in Thread] | Current Thread | [Next in Thread] |