Subject: bug#48179: bookmark-fontify [PATCH]

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 05 May 2021 10:13:13 +0200

"Basil L. Contovounesios" <[email-masked]> writes:

> If you 'C-x r m' more than once in the same file, the first overlay
> remains even after deleting the bookmark.  Shouldn't the first overlay
> be deleted when its bookmark position is overwritten?

You mean when giving the bookmark the same name?  (You can have several
bookmarks in the same file with different names.)

Yes, that would make sense.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no