[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 5c70ff9: New user option 'font-lock-ignore'
From: |
Augusto Stoffel |
Subject: |
Re: master 5c70ff9: New user option 'font-lock-ignore' |
Date: |
Sat, 02 Apr 2022 18:52:36 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.92 (gnu/linux) |
On Sat, 2 Apr 2022 at 19:44, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Augusto Stoffel <arstoffel@gmail.com>
>> Cc: monnier@iro.umontreal.ca, emacs-devel@gnu.org
>> Date: Sat, 02 Apr 2022 18:25:23 +0200
>>
>> On Sat, 2 Apr 2022 at 16:52, Eli Zaretskii <eliz@gnu.org> wrote:
>>
>> > I made changes to the documentation, please have a look.
>>
>> Looks good to me. I just have one remark to make:
>>
>> @@ -3337,23 +3350,23 @@ Line by line, this does the following:
>>
>> @enumerate
>> @item
>> -In all programming modes, disable all font-lock keywords that apply
>> -one of the standard font-lock faces (excluding strings and comments,
>> -which are covered by syntactic Font Lock).
>> +In all programming modes, disable fontifications due to all font-lock
>> +keywords that apply one of the standard font-lock faces (excluding
>> ^^^^^^^^
>> Here, we got one stray use of "keyword" in the funny sense of
>> font-lock.el
>
> I don't see anything wrong with the new text. What would you use
> instead that is more clear?
One could say "In all programming modes, disable fontification rules
that apply one of the standard font-lock faces".
But what you wrote is a bit more specific, and the "font-lock keyword"
terminology is still used elsewhere. So I guess I'll take back my
remark :-).
- Re: master 5c70ff9: New user option 'font-lock-ignore', Eli Zaretskii, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Augusto Stoffel, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Eli Zaretskii, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Augusto Stoffel, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Eli Zaretskii, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Augusto Stoffel, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Eli Zaretskii, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Augusto Stoffel, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore', Eli Zaretskii, 2022/04/02
- Re: master 5c70ff9: New user option 'font-lock-ignore',
Augusto Stoffel <=
Re: master 5c70ff9: New user option 'font-lock-ignore', Stefan Monnier, 2022/04/02
RE: [External] : Re: master 5c70ff9: New user option 'font-lock-ignore', Drew Adams, 2022/04/02