Subject: bug#79200: 31.0.50; Duplicated elements for '#<marker at' in buffer-undo-list

From: Helmut Eller <[email-masked]>
Date: Tue, 12 Aug 2025 17:58:02 +0200

On Tue, Aug 12 2025, Gerd Möllmann wrote:

> Like so, I think:

I think the DEFVAR_INT is not needed. Something like this:

static ptrdiff_t next_marker_id;

static ptrdiff_t
next_marker_id (void)
{
  return next_marker_id++;
}

and in syms_of_alloc

  PDUMPER_REMEMBER_SCALAR(next_marker_id);

should also work.

Helmut