[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#48179: bookmark-fontify [PATCH]
From: |
Lars Ingebrigtsen |
Subject: |
bug#48179: bookmark-fontify [PATCH] |
Date: |
Wed, 05 May 2021 10:15:40 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Boruch Baum <boruch_baum@gmx.com> writes:
> It's do-able, but if Drew's contributions are going to be accepted, that
> should take priority,
If Drew submits patches, they'll be evaluated like any other patches,
but experience shows that that's unlikely to happen. So it's best to
just ignore his comments about how foo+.el already does whatever it is
we're adding to Emacs -- he makes these comments about basically
everything, but virtually never submits anything.
> and then if the addition is still necessary, it's just a matter of
> iterating over the bookmark list at the point of finding (re-loading)
> the file and applying overlays to all the bookmarks in the file.
Sounds good.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#48179: bookmark-fontify [PATCH], (continued)
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/05
- bug#48179: bookmark-fontify [PATCH], Lars Ingebrigtsen, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Basil L. Contovounesios, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/04
- bug#48179: bookmark-fontify [PATCH],
Lars Ingebrigtsen <=
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/05
- bug#48179: [External] : bug#48179: bookmark-fontify [PATCH], Drew Adams, 2021/05/05
- bug#48179: bookmark-fontify [PATCH], Lars Ingebrigtsen, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Bastien, 2021/05/05
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/05
- bug#48179: bookmark-fontify [PATCH], Eli Zaretskii, 2021/05/05
- bug#48179: bookmark-fontify [PATCH], Lars Ingebrigtsen, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Bastien, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Colin Baxter, 2021/05/06
- bug#48179: bookmark-fontify [PATCH], Boruch Baum, 2021/05/06