[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: font-lock-fontify-block
From: |
Lars Ingebrigtsen |
Subject: |
Re: font-lock-fontify-block |
Date: |
Thu, 11 Mar 2021 21:25:27 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Actually, I see I've misremembered: this is handy not when
> font-lock-mode is off, but when it's on and I yank text from another
> mode. A typical use case is when I yank from some program fragment
> into a text-mode buffer: the original fontification is left alone
> until I type M-o M-o.
That does sound quite useful, yes -- that's something I bump into from
time to time, but has never known what to do about. So we should
probably give it a new default key binding (if we decide to free up
`M-o').
In a couple of test cases here, though, `font-lock-fontify-buffer' seems
to give more dependable results.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: font-lock-fontify-block, (continued)
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/13
- Re: font-lock-fontify-block, Eli Zaretskii, 2021/03/11
- Re: font-lock-fontify-block, Eli Zaretskii, 2021/03/11
- Re: font-lock-fontify-block,
Lars Ingebrigtsen <=
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/11
- Re: font-lock-fontify-block, Eli Zaretskii, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Eli Zaretskii, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Eli Zaretskii, 2021/03/12
- Re: font-lock-fontify-block, tomas, 2021/03/12
- Re: font-lock-fontify-block, Eli Zaretskii, 2021/03/12
- Re: font-lock-fontify-block, tomas, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12