[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 5c70ff9: New user option 'font-lock-ignore'
From: |
Eli Zaretskii |
Subject: |
Re: master 5c70ff9: New user option 'font-lock-ignore' |
Date: |
Sat, 02 Apr 2022 19:44:24 +0300 |
> 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?
- 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 <=
- 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