[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:25:23 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.92 (gnu/linux) |
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
Thanks!
- 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', 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', Stefan Monnier, 2022/04/02
RE: [External] : Re: master 5c70ff9: New user option 'font-lock-ignore', Drew Adams, 2022/04/02