[Top][All Lists]

[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]