[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: prettify-symbols-mode to handle "\alpha-\beta" ...
From: |
Christopher Dimech |
Subject: |
Re: prettify-symbols-mode to handle "\alpha-\beta" ... |
Date: |
Thu, 4 Feb 2021 21:22:27 +0100 |
> Sent: Friday, February 05, 2021 at 6:23 AM
> From: "Stefan Monnier" <monnier@iro.umontreal.ca>
> To: "Christopher Dimech" <dimech@gmx.com>
> Cc: "Óscar Fuentes" <ofv@wanadoo.es>, emacs-devel@gnu.org
> Subject: Re: prettify-symbols-mode to handle "\alpha-\beta" ...
>
> > The way I see it, is that the improvement should be put in
> > prog-mode.el,
>
> What is "the" improvement you're referring to?
Improvement for prog-mode.el to be able to handle the prettifying
the tex commands as well. Prettify greek letters and math symbols,
Binary operations and other relations, and arrows.
> > 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" ..., 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, 2021/02/04
- Re: prettify-symbols-mode to handle "\alpha-\beta" ...,
Christopher Dimech <=
- 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
- Re: prettify-symbols-mode to handle "\alpha-\beta" ..., Gregory Heytings, 2021/02/05