Re: What makes set-window-buffer slow?

[Eli Zaretskii]

> Cc: address@hidden, address@hidden, address@hidden
> From: Clément Pit--Claudel <address@hidden>
> Date: Fri, 24 Jun 2016 10:19:12 -0400
> 
> The proof-shell functions do this: they handle communication with the 
> subprocess. The main loop looks like this:
> 
> * Fetch one command from the buffer
> * Send it to the subprocess
> * When a response arrives, call a hook
> * Send the next command
> 
> My code adds a functioon into that hook that calls set-window-buffer; when I 
> remove that call, everything is snappy. When I add it back in, everything 
> gets much slower (at least that's what I understand; this isn't happening on 
> my machine).

What is the purpose of calling set-window-buffer?

Also, how come it doesn't happen on your machine?  Are any
customizations involved?  Is your OS different from that of the other
user?