[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#29110: 25.2; Should push-mark allow duplicates?
From: |
Lars Ingebrigtsen |
Subject: |
bug#29110: 25.2; Should push-mark allow duplicates? |
Date: |
Tue, 08 Feb 2022 07:24:48 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Pierre Neidhardt <ambrevar@gmail.com> writes:
> The `push-mark' function allows for duplicate marks. I fail to see a
> use case, but otherwise I think it's rather inconvenient:
(I'm going through old bug reports that unfortunately weren't resolved
at the time.)
I think the argument for not filtering duplicates is that it makes
traversing the history less predictable -- if you do two point-setting
commands, you know that you have to pop the stack twice to get back to
before that.
And we can't change the default of such a basic command, because it'd
annoy too many people. (If somebody wants push-mark to filter
duplicates, it'd be easy to add advice to push-mark to do that.)
So I'm closing this bug report.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#29110: 25.2; Should push-mark allow duplicates?,
Lars Ingebrigtsen <=