[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: |
Tue, 2 Feb 2021 06:04:33 +0100 |
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
>
>
>