Subject: bug#76137: closed (Re: bug#76137: [PATCH] Eliminate bookmark-maybe-historicize-string duplicates)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 11 Feb 2025 07:49:02 +0000

Your bug report

#76137: [PATCH] Eliminate bookmark-maybe-historicize-string duplicates

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
76137: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76137
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#76137: [PATCH] Eliminate bookmark-maybe-historicize-string duplicates
From: Stefan Kangas <[email-masked]>
To: Ship Mints <[email-masked]>
Cc: [email-masked]
Date: Mon, 10 Feb 2025 23:48:23 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

Version: 31.1

Ship Mints <[email-masked]> writes:

> And now revised with NEWS.
>
> On Fri, Feb 7, 2025 at 7:58 PM Ship Mints <[email-masked]> wrote:
>
>  Revised patch with bookmark-history dupe test.
>
>  On Fri, Feb 7, 2025 at 7:53 PM Ship Mints <[email-masked]> wrote:
>
>  Maybe I'll fix the bookmark test that currently doesn't check for duplicates. Hrumph.
>
>  On Fri, Feb 7, 2025 at 7:51 PM Ship Mints <[email-masked]> wrote:
>
>  Change 'bookmark-maybe-historicize-string' from its naive history list cons, which
>  blindly adds duplicates ad infinitum, to use 'add-to-history' which respects
>  'history-delete-duplicates' and the 'history-length property (which 'bookmark-history'
>  currently does not have).
>
>  -Stephane

Thanks, installed on master as commit 788380cf6a2.

Subject: [PATCH] Eliminate bookmark-maybe-historicize-string duplicates
From: Ship Mints <[email-masked]>
To: [email-masked]
Date: Fri, 7 Feb 2025 19:49:39 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Change 'bookmark-maybe-historicize-string' from its naive history list
cons, which blindly adds duplicates ad infinitum, to use 'add-to-history'
which respects 'history-delete-duplicates' and the 'history-length
property (which 'bookmark-history' currently does not have).

-Stephane