[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Re: what is the purpose of "This link has already been store
From: |
Bastien Guerry |
Subject: |
Re: [PATCH] Re: what is the purpose of "This link has already been stored"? |
Date: |
Tue, 08 Aug 2023 15:37:56 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Ihor Radchenko <yantar92@posteo.net> writes:
> This would be yet another breaking change...
Of course, you're right!
Then here are two suggestions, assuming it's best to spare us yet
another option:
(1) by always store the latest link on top and remove old dups.
(2) always store latest link at the top and remove old dups and allow
to keep dups with 3 universal prefix args.
>>>> if you move the recent one to top of list, that would work for my
>>>> mindless store/insert, but it might not work for a user who has
>>>> carefully cultivated a set of links that are all to be inserted, or
>>>> such. although idk if the mechanism supports.
I'm in favor of option (2) as it deals with the above use-case, and
storing a link for each lines in the active region should be the
default behavior anyway, with no need for a prefix arg.
WDYT?
--
Bastien Guerry
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Bastien, 2023/08/06
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Samuel Wales, 2023/08/06
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Ihor Radchenko, 2023/08/08
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?,
Bastien Guerry <=
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Ihor Radchenko, 2023/08/11
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Bastien Guerry, 2023/08/13
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Ihor Radchenko, 2023/08/13
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Samuel Wales, 2023/08/13
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Ihor Radchenko, 2023/08/14
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Ihor Radchenko, 2023/08/14
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Bastien Guerry, 2023/08/14
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Ihor Radchenko, 2023/08/15
- Re: [PATCH] Re: what is the purpose of "This link has already been stored"?, Bastien Guerry, 2023/08/16