[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: desktop-buffer-info and set-buffer
|
From: |
Andreas Röhler |
|
Subject: |
Re: desktop-buffer-info and set-buffer |
|
Date: |
Mon, 02 Mar 2015 07:35:13 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Icedove/31.4.0 |
On 01.03.2015 17:12, Eli Zaretskii wrote:
Date: Sun, 1 Mar 2015 16:06:15 +0000
From: Artur Malabarba <address@hidden>
[ ... ]
I don't think it's performance-critical, either, but IMO doing
unnecessary things is unclean regardless.
The question is, at which point desktop-save is called. If only at end of
session, okay.
If during session, consider it a bug changing the current buffer.
BTW was happy to see someone going to clean up the code-base.
In any case, this is a minor issue.