[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bo
From: |
Drew Adams |
Subject: |
bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark |
Date: |
Tue, 2 Aug 2022 20:10:36 +0000 |
> Why not make the icon customizable, and offer several possible bitmaps
> to chose from? Hardcoding a single icon will always annoy someone.
+1.
FWIW, Bookmark+ has had this for a decade.
Two options for this. Uses predefined var `fringe-bitmaps'
for the choice. (But really there should (also?) be a user
option for such a list.)
(defcustom bmkp-light-left-fringe-bitmap 'left-triangle
"Symbol for the left fringe bitmap to use to highlight a bookmark."
:type (cons 'choice (mapcar (lambda (bb) (list 'const bb)) fringe-bitmaps))
:group 'bookmark-plus)
(defcustom bmkp-light-right-fringe-bitmap 'right-triangle
"Symbol for the right fringe bitmap to use to highlight a bookmark."
:type (cons 'choice (mapcar (lambda (bb) (list 'const bb)) fringe-bitmaps))
:group 'bookmark-plus))
E.g., setting `bmkp-light-left-fringe-bitmap' to Jim's
`bookmark-fringe-mark' (symbol) uses that fringe bitmap.
And yes, it would be good to add a bitmap such as Jim
suggested to `fringe-bitmaps'.
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, (continued)
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Jim Porter, 2022/08/02
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Eli Zaretskii, 2022/08/02
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Jim Porter, 2022/08/03
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Eli Zaretskii, 2022/08/04
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Lars Ingebrigtsen, 2022/08/04
- bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Jim Porter, 2022/08/05
- bug#56896: 29.0.50; [PATCHv3] Make the bookmark fringe icon look like a bookmark, Jim Porter, 2022/08/13
- bug#56896: 29.0.50; [PATCHv3] Make the bookmark fringe icon look like a bookmark, Lars Ingebrigtsen, 2022/08/15
- bug#56896: 29.0.50; [PATCHv3] Make the bookmark fringe icon look like a bookmark, Jim Porter, 2022/08/16
- bug#56896: 29.0.50; [PATCHv3] Make the bookmark fringe icon look like a bookmark, Juri Linkov, 2022/08/21
bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark,
Drew Adams <=
bug#56896: 29.0.50; [PATCH] Make the bookmark fringe icon look like a bookmark, Po Lu, 2022/08/02