[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tofu-help-mode
From: |
Lars Ingebrigtsen |
Subject: |
Re: tofu-help-mode |
Date: |
Thu, 22 Oct 2020 14:07:05 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> BTW, for those interested, here's a proof-of-concept.
>
> I don't intend to work much more on this (except maybe for the
> `post-redisplay-functions` part which might be useful on its own), so
> I'd encourage someone else to take it over from here if they'd like to
> see it turn into something usable.
Reading the code, it looks like everything is there, except expanding on
this:
> + (put-text-property pos (1+ pos) 'help-echo
> + (or (get-char-code-property char 'name)
> + (get-char-code-property char 'old-name)
> + "This is unknown TOFU!")))))))
And adding some documentation and NEWS and stuff, of course. If you
push this to the trunk, I can take it from there...
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/18
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/19
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/19
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/20
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/20
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/21
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/21
- Re: Suggest installing more fonts?, Stefan Kangas, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- tofu-help-mode (was: Suggest installing more fonts?), Stefan Monnier, 2020/10/21
- Re: tofu-help-mode,
Lars Ingebrigtsen <=
- Re: tofu-help-mode, Stefan Monnier, 2020/10/22
- Re: tofu-help-mode, Lars Ingebrigtsen, 2020/10/23
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/25
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/25