From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: moasenwood--- via Users list for the GNU Emacs text editor Newsgroups: gmane.emacs.help Subject: Re: Changing into greek glyphs in texinfo-mode Date: Tue, 02 Feb 2021 05:10:41 +0100 Message-ID: <87ft2fcdoe.fsf@zoho.eu> References: <87eehzga3s.fsf@zoho.eu> Reply-To: Emanuel Berg Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="36875"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) To: help-gnu-emacs@gnu.org Cancel-Lock: sha1:4gVF+ZoT4NNzg57Rja30y9Hwtbo= Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Tue Feb 02 05:11:24 2021 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l6n2B-0009V9-Pk for geh-help-gnu-emacs@m.gmane-mx.org; Tue, 02 Feb 2021 05:11:23 +0100 Original-Received: from localhost ([::1]:41200 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l6n2A-00054M-RL for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 01 Feb 2021 23:11:22 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45506) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l6n1f-00054C-HN for help-gnu-emacs@gnu.org; Mon, 01 Feb 2021 23:10:51 -0500 Original-Received: from ciao.gmane.io ([116.202.254.214]:48690) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l6n1d-0003d7-D0 for help-gnu-emacs@gnu.org; Mon, 01 Feb 2021 23:10:50 -0500 Original-Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1l6n1b-0008oS-1Q for help-gnu-emacs@gnu.org; Tue, 02 Feb 2021 05:10:47 +0100 X-Injected-Via-Gmane: http://gmane.org/ Mail-Followup-To: help-gnu-emacs@gnu.org Mail-Copies-To: never Received-SPF: pass client-ip=116.202.254.214; envelope-from=geh-help-gnu-emacs@m.gmane-mx.org; helo=ciao.gmane.io X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.25, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:127553 Archived-At: 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