Marking as closed on updates.orgmode.org via the X-Woof-Patch header.
Leo Okawa Ericson writes:
> I can't think of a reason either (now that I know that jit-lock exists)
> so I will retract my patch.
Marking as closed on updates.orgmode.org via the X-Woof-Patch header.
Leo Okawa Ericson writes:
> I can't think of a reason either (now that I know that jit-lock exists)
> so I will retract my patch.
Marking as closed on updates.orgmode.org via the X-Woof-Patch header.
Leo Okawa Ericson writes:
> I can't think of a reason either (now that I know that jit-lock exists)
> so I will retract my patch.
Kyle Meyer writes:
> Have you explored whether jit-lock (e.g., jit-lock-defer-time) helps for
> your use case?
No I didn't know about it. I have tried it now and it seems to solve
the same problem as my patch.
> If we do go this route, I think the case needs to be made why this
> spot is speci
Leo Okawa Ericson writes:
> Fontification of long code blocks can be very slow. The patch, which should be
> in another other email, mitigates this by
> adding an option to delay the fontification after the user has become idle by
> using idle timers. This seems to be faster from my limited testin
From: Leo Okawa Ericson
I tried sending this patch once before, but I think it got caught as spam so I'm
trying this again.
Fontification of long code blocks can be very slow. The patch (in the reply to
this email) mitigates this by adding an option to delay the fontification after
the user has
Fontification of long code blocks can be very slow. The patch, which should be
in another other email, mitigates this by
adding an option to delay the fontification after the user has become idle by
using idle timers. This seems to be faster from my limited testing, but I'm not
sure if something wi
From: Leo Okawa Ericson
I tried sending this patch once before, but I think it got caught as spam so I'm
trying this again.
Fontification of long code blocks can be very slow. The patch (in the reply to
this email) mitigates this by adding an option to delay the fontification after
the user has
