[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What makes set-window-buffer slow?
From: |
Eli Zaretskii |
Subject: |
Re: What makes set-window-buffer slow? |
Date: |
Fri, 24 Jun 2016 22:13:17 +0300 |
> 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?
- Re: What makes set-window-buffer slow?, (continued)
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/23
- Re: What makes set-window-buffer slow?, Alan Mackenzie, 2016/06/23
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/23
- Re: What makes set-window-buffer slow?, Eli Zaretskii, 2016/06/23
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/23
- Re: What makes set-window-buffer slow?, Eli Zaretskii, 2016/06/24
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/24
- Re: What makes set-window-buffer slow?, Eli Zaretskii, 2016/06/24
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/24
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/24
- Re: What makes set-window-buffer slow?,
Eli Zaretskii <=
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/24
- Re: What makes set-window-buffer slow?, Eli Zaretskii, 2016/06/25
- Re: What makes set-window-buffer slow?, Clément Pit--Claudel, 2016/06/25
- Re: What makes set-window-buffer slow?, Eli Zaretskii, 2016/06/25
- Re: What makes set-window-buffer slow?, Eli Zaretskii, 2016/06/25