[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What makes set-window-buffer slow?
From: |
Clément Pit--Claudel |
Subject: |
Re: What makes set-window-buffer slow? |
Date: |
Fri, 24 Jun 2016 17:33:23 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 |
On 2016-06-24 15:13, Eli Zaretskii wrote:
> What is the purpose of calling set-window-buffer?
When started, Proof General splits the screen in two:
| | |
| | |
| User's file | Message log |
| | |
| | |
Each time a message is received, it's displayed in the Message log window.
My extension sometimes reuses that window for other things (for example, to
show company-mode's documentation buffer).
The set-window-buffer call is there to ensure that the user sees new messages.
Of course in most cases that call is useless: that's why predicating it on the
window not already displaying the message log makes things faster.
> Also, how come it doesn't happen on your machine? Are any
> customizations involved? Is your OS different from that of the other
> user?
Somewhat unclear. The OS are the same (Linux mint), and the problem does happen
in emacs -Q for the other user. The version of Emacs is the same.
signature.asc
Description: OpenPGP digital signature
- Re: What makes set-window-buffer slow?, (continued)
- 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, 2016/06/24
- Re: What makes set-window-buffer slow?,
Clément Pit--Claudel <=
- 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