[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
Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?
Sat, 9 Apr 2016 15:54:30 -0400
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
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?
Description: OpenPGP digital signature