[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tofu-help-mode
From: |
Stefan Monnier |
Subject: |
Re: tofu-help-mode |
Date: |
Thu, 22 Oct 2020 11:21:05 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> 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:
No: the code I sent only offers a buffer-local minor mode and more
changes will be required if we want it to work as a global minor mode
(which I'd expect is what you'd usually want).
Stefan
- Re: Suggest installing more fonts?, (continued)
- 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, 2020/10/22
- Re: tofu-help-mode,
Stefan Monnier <=
- 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
- Re: Suggest installing more fonts?, Juri Linkov, 2020/10/21