[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Question: add-face-text-property for 'font-lock-face?
From: |
Qiantan Hong |
Subject: |
Question: add-face-text-property for 'font-lock-face? |
Date: |
Sun, 29 Aug 2021 04:36:49 +0000 |
That’s an option, but I’m worried about performance because
crdt-visuallize-author-mode
need to color code the whole document and that might be too many overlays.
Maybe one can lazily create overlay for visible part only but I feel like
at that point I’ll probably just reinvent an adhoc
add-font-lock-face-text-property in Elisp.
> On Aug 28, 2021, at 9:24 PM, Yuan Fu <casouri@gmail.com> wrote:
>
>
>
>> On Aug 28, 2021, at 9:13 PM, Qiantan Hong <qhong@mit.edu> wrote:
>>
>> Users of crdt.el report that crdt-visualize-author-mode (which use
>> font-lock-face to color code author of texts)
>> conflict with faces from other modes. Apparently there are more than 1 mode
>> which sets this text property.
>>
>> Is there some way to add-face-text-property to 'font-lock-face property,
>> i.e. adding new face attributes instead of overwriting any existing face?
>> add-face-text-property doesn’t seem to work because 'font-lock-face will
>> just override ‘face.
>>
>> Best,
>> Qiantan
>>
>
> Is there anything preventing you from using overlays? They seem to be perfect
> for the job.
>
> Yuan
- Re: Question: add-face-text-property for 'font-lock-face?, (continued)
- Re: Question: add-face-text-property for 'font-lock-face?, Eli Zaretskii, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Qiantan Hong, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Eli Zaretskii, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Clément Pit-Claudel, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Qiantan Hong, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Stefan Monnier, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Qiantan Hong, 2021/08/29
- Re: Question: add-face-text-property for 'font-lock-face?, Ihor Radchenko, 2021/08/30
Re: Question: add-face-text-property for 'font-lock-face?, Clément Pit-Claudel, 2021/08/29
Question: add-face-text-property for 'font-lock-face?,
Qiantan Hong <=