Re: What's the best (i.e. least bad) way to re-redisplay?

[Stefan Monnier]

> The problem is, there will be occurences in the foreground window before
> the one which triggered the fontification.  Redisplay will already have
> passed this earlier buffer position.  So I need to trigger another
> redisplay immediately after the current one.
>
> What is the least bad way of doing this?

I think something along the lines of

    (run-with-timer 0 nil
                    (lambda (buf)
                      (with-current-buffer buf (font-lock-flush)))
                    (current-buffer))

is the cleanest that comes to mind.


        Stefan