[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing into greek glyphs in texinfo-mode
|
From: |
Emanuel Berg |
|
Subject: |
Re: Changing into greek glyphs in texinfo-mode |
|
Date: |
Tue, 02 Feb 2021 05:10:41 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
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