Re: Changing into greek glyphs in texinfo-mode

[pietru@caramail.com]

The problem with prog-mode.el is that it is used as major mode, whereas I
am doing a minor made for texinfo-mode.

> Sent: Wednesday, February 03, 2021 at 12:56 AM
> From: pietru@caramail.com
> To: pietru@caramail.com
> Cc: help-gnu-emacs@gnu.org
> Subject: Re: Changing into greek glyphs in texinfo-mode
>
> 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
> > >
> > >
> > >
> >
> >
>
>