[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 19:33:58 +1000 |
> - with a prefix argument, toggle font-lock-mode "correctly" (i.e. making sure
> that the buffer is unfontified when disabling)
This part is what shouldn't be in there. Calling `font-lock-unfontify-region'
is the nuclear option to remove all text properties, including those that font
lock doesn't "own", so to speak. As I mentioned before, I think you're getting
confused about how font-lock and text properties work, and so what you're
saying is "correct" is not so. Deactivating font-lock-mode does not and should
not remove all text properties -- only those with the `(fontified . t)'
property.
- 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, 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 <=
- 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
- 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, Stefan Monnier, 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, Stefan Monnier, 2021/03/24