Thanks for this suggestion! I probably have to investigate why redisplay is slow, then; that's bound to be rather tricky :/

Is there a reason for set-window-buffer to trigger redisplay if the window was already displaying that same buffer?

Clément.

On 2016-06-23 12:01, Andreas Schwab wrote:
> Perhaps it's because set-window-buffer marks the window for redisplay.
> 
> Andreas.
>