[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: cc-mode fontification feels random
From: |
Eli Zaretskii |
Subject: |
Re: cc-mode fontification feels random |
Date: |
Mon, 14 Jun 2021 14:28:20 +0300 |
> From: martin rudalics <rudalics@gmx.at>
> Date: Mon, 14 Jun 2021 10:29:27 +0200
> Cc: Richard Stallman <rms@gnu.org>, emacs-devel <emacs-devel@gnu.org>,
> Stefan Monnier <monnier@iro.umontreal.ca>, Alan Mackenzie <acm@muc.de>,
> Eli Zaretskii <eliz@gnu.org>, Daniel Colascione <dancol@dancol.org>
>
> > See C-h v jit-lock-antiblink-grace.
>
> It should be documented in at least one manual.
It's an obscure variable whose effect is not easy to explain to
users. In my testing, its effect was insignificant, so I didn't see
the need to document it in the manual. If you can show a use case
where its effect is significant, perhaps I will change my mind.
- Re: cc-mode fontification feels random, (continued)
- Re: cc-mode fontification feels random, martin rudalics, 2021/06/13
- Re: cc-mode fontification feels random, João Távora, 2021/06/13
- Re: cc-mode fontification feels random, martin rudalics, 2021/06/13
- Re: cc-mode fontification feels random, João Távora, 2021/06/13
- Re: cc-mode fontification feels random, martin rudalics, 2021/06/13
- Re: cc-mode fontification feels random, João Távora, 2021/06/13
- Re: cc-mode fontification feels random, martin rudalics, 2021/06/14
- Re: cc-mode fontification feels random, João Távora, 2021/06/14
- Re: cc-mode fontification feels random, martin rudalics, 2021/06/14
- Re: cc-mode fontification feels random, João Távora, 2021/06/14
- Re: cc-mode fontification feels random,
Eli Zaretskii <=
- Re: cc-mode fontification feels random, Stefan Monnier, 2021/06/14
- Re: cc-mode fontification feels random, Ergus, 2021/06/15
- Re: cc-mode fontification feels random, Eli Zaretskii, 2021/06/07
- Re: cc-mode fontification feels random, Stefan Monnier, 2021/06/08
- Re: cc-mode fontification feels random, Eli Zaretskii, 2021/06/08
Re: cc-mode fontification feels random, Dmitry Gutov, 2021/06/05
Re: Re: cc-mode fontification feels random, Pedro Andres Aranda Gutierrez, 2021/06/06