[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] User-defined fringe tooltips (a request for review)
|
From: |
Vladimir Kazanov |
|
Subject: |
Re: [PATCH] User-defined fringe tooltips (a request for review) |
|
Date: |
Mon, 8 Apr 2024 15:41:38 +0100 |
Hi Eli,
Here is the v4 patch. As we discussed, this is option 3 i.e., looking
up properties in visible text only. In addition to the implementation,
I've fixed the docs, NEWS and TODO files.
Thanks
--
Regards,
Vladimir Kazanov
v4-0001-Tooltips-for-user-defined-fringe-indicators.patch
Description: Text Data
- Re: [PATCH] User-defined fringe tooltips (a request for review), Vladimir Kazanov, 2024/04/07
- Re: [PATCH] User-defined fringe tooltips (a request for review), Eli Zaretskii, 2024/04/07
- Re: [PATCH] User-defined fringe tooltips (a request for review), Vladimir Kazanov, 2024/04/07
- Re: [PATCH] User-defined fringe tooltips (a request for review), Eli Zaretskii, 2024/04/07
- Re: [PATCH] User-defined fringe tooltips (a request for review),
Vladimir Kazanov <=
- Re: [PATCH] User-defined fringe tooltips (a request for review), Eli Zaretskii, 2024/04/13
- Re: [PATCH] User-defined fringe tooltips (a request for review), Vladimir Kazanov, 2024/04/13
- Re: [PATCH] User-defined fringe tooltips (a request for review), Eli Zaretskii, 2024/04/13
- Re: [PATCH] User-defined fringe tooltips (a request for review), Vladimir Kazanov, 2024/04/13
- Re: [PATCH] User-defined fringe tooltips (a request for review), Eli Zaretskii, 2024/04/13