[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing into greek glyphs in texinfo-mode
From: |
pietru |
Subject: |
Re: Changing into greek glyphs in texinfo-mode |
Date: |
Mon, 1 Feb 2021 18:30:59 +0100 |
I am having a problem with dafny-font-lock-keywords, as I cannot
see where the functionality for replacing the "forall" keyword
is being called and set up.
> Sent: Tuesday, February 02, 2021 at 2:59 AM
> From: pietru@caramail.com
> To: moasenwood@zoho.eu
> Cc: help-gnu-emacs@gnu.org
> Subject: Re: Changing into greek glyphs in texinfo-mode
>
> > Sent: Tuesday, February 02, 2021 at 2:01 AM
> > From: "moasenwood--- via Users list for the GNU Emacs text editor"
> > <help-gnu-emacs@gnu.org>
> > To: help-gnu-emacs@gnu.org
> > Subject: Re: Changing into greek glyphs in texinfo-mode
> >
> > pietru wrote:
> >
> > > Does anybody have a strategy how to do this thing? I do not
> > > think I should do a replacement, only for display, which
> > > I can turn on or off.
> >
> > Yes, check out for example dafny-mode which you find in MELPAs
> > boogie-friends version 20210127.1405 -
>
> Thank you.
>
> > Then type fore example
> >
> > ensures x ==> "formal verification stinks"
>
> Have looked at line 203 for the keyword "forall". I changed it for
> \alpha. Now I need some more function for this to take effect.
>
> (list "\\\\\\<alpha+\\>\\([\s+\,:;._^-]\\\\\\<[a-z]+\\>\\)?"
> '(1 (compose-region (match-beginning 1) (match-end 1) ?α))
> '(1 font-lock-keyword-face append))
>
> > and it will change ==> into something I cannot even make out
> > here in the Linux VT.
> >
> > Very annoying IMO.
> >
> > Check out the compose-* stuff - is that what it is?
> >
> > --
> > underground experts united
> > http://user.it.uu.se/~embe8573
> > https://dataswamp.org/~incal
> >
> >
> >
>
>