[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021
From: |
Paul W. Rankin |
Subject: |
Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021 |
Date: |
Wed, 24 Mar 2021 15:40:31 +1000 |
> On 24 Mar 2021, at 9:13 am, Gregory Heytings <gregory@heytings.org> wrote:
>
>> No bugs here. Both of these work as expected. I think the issue is you're
>> confused about font-lock-mode and text properties. These are not the same
>> thing. Font-lock-mode is just one way to add text properties to text, so may
>> other functions. Deactivating font-lock-mode does not remove all text
>> properties, only on text with the `(fontified . t)' property. This is why
>> you're seeing what you're seeing.
>
> Please explain this to Stefan M, who considers this to be bugs, who would
> like to deprecate the font-lock-fontify-{buffer,block} commands, and who
> guided me to write the font-lock-update command.
For sure. If you can, please link me to the lists.gnu.org message?
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, (continued)
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Paul W. Rankin, 2021/03/23
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/23
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Paul W. Rankin, 2021/03/23
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/23
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021,
Paul W. Rankin <=
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Paul W. Rankin, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Paul W. Rankin, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Paul W. Rankin, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Paul W. Rankin, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Gregory Heytings, 2021/03/24
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, Stefan Monnier, 2021/03/24