[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: prettify-symbols-mode to handle "\alpha-\beta" ...
From: |
Stefan Monnier |
Subject: |
Re: prettify-symbols-mode to handle "\alpha-\beta" ... |
Date: |
Thu, 04 Feb 2021 13:23:14 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> The way I see it, is that the improvement should be put in
> prog-mode.el,
What is "the" improvement you're referring to?
> and then the other major modes can rely on prog-mode.el fon a minor
> mode that implements the prettify functionality.
I think that's the case already, thanks to `prettify-symbols-mode`.
I'm not saying it can't be improved, of course,
Stefan
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., (continued)
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Óscar Fuentes, 2021/02/03
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/03
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., pietru, 2021/02/03
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Stefan Monnier, 2021/02/03
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/03
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Stefan Monnier, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Stefan Monnier, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ...,
Stefan Monnier <=
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Stefan Monnier, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., pietru, 2021/02/05
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Stefan Monnier, 2021/02/05
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/05
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Christopher Dimech, 2021/02/05
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Stefan Monnier, 2021/02/05
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Gregory Heytings, 2021/02/05
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., pietru, 2021/02/05