[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What to do when font-lock-flush + font-lock-ensure do less than font
From: |
Clément Pit--Claudel |
Subject: |
Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer? |
Date: |
Sat, 9 Apr 2016 15:54:30 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
On 04/09/2016 03:37 PM, Eli Zaretskii wrote:
>> From: Clément Pit--Claudel <address@hidden>
>> Date: Sat, 9 Apr 2016 14:59:39 -0400
>>
>> Should I open a bug report about this?
>
> If you have a patch, it would be more efficient to just post it.
I don't have one, unfortunately; I think you understand the issue better than I
do :)
You mentioned turning a call to font-lock-default-fontify-buffer into
font-lock-fontify-buffer as a potential solution earlier in this thread. Do you
want me to make a patch that does this?
Clément.
signature.asc
Description: OpenPGP digital signature