Re: Changing into greek glyphs in texinfo-mode

[pietru@caramail.com]

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
> > 
> > 
> >
> 
>