[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: |
Fri, 23 Oct 2020 12:46:19 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> 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).
Isn't that just a small matter of programming?
--
(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/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, 2020/10/22
- Re: tofu-help-mode,
Lars Ingebrigtsen <=
- 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
- Re: Suggest installing more fonts?, Basil L. Contovounesios, 2020/10/21