Re: Changing into greek glyphs in texinfo-mode

[pietru]

I can see that dafny-mode ts relying on "prog-mode.el".  Same
prettify functionality is also being provided by "tex-mode.el".
But I don't see how tex-mode.el uses prog-mode.el


> Sent: Tuesday, February 02, 2021 at 5:04 PM
> From: pietru@caramail.com
> To: moasenwood@zoho.eu
> Cc: help-gnu-emacs@gnu.org
> Subject: Re: Changing into greek glyphs in texinfo-mode
>
> It is calling  prog-mode.el, which is part of emacs.  I am trying to
> make a minor mode with all functionality in my minor mode though.
>
> What function would I need to copy over?
>
>
>
> > Sent: Tuesday, February 02, 2021 at 4:10 PM
> > 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:
> >
> > > 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.
> >
> > If it is/uses font-lock then this is handled outside of the
> > mode, the mode just sets it up, that way not every mode has to
> > have the horsepower to also execute it.
> >
> > Keep on using the source, Luke! Line 198 looks suspicious, as
> > do 509...
> >
> > --
> > underground experts united
> > http://user.it.uu.se/~embe8573
> > https://dataswamp.org/~incal
> >
> >
> >
>
>