GitLab

bookmark menu buffers, where the default is a bold face similarly
to buffer names in buffer menu buffers.  Patch by Matthias Meulien
<orontee {_AT_} gmail.com>.

(bookmark-menu-bookmark): New face to highlight bookmark names.
(bookmark-insert-location): Removes dupplicated text property to
conform to buffer list (see `list-buffers')
(bookmark-bmenu-list, bookmark-bmenu-hide-filenames): Apply face
`bookmark-menu-bookmark' to bookmark names.