Re: desktop-buffer-info and set-buffer

[Andreas Röhler]

On 01.03.2015 11:03, Artur Malabarba wrote:
> I noticed yesterday that `desktop-buffer-info' uses `set-buffer' instead of
> `with-current-buffer'.
>
> I couldn't find any particular reason for that, but I'm asking here if
> anyone knows why, before I go and change it.
>
> Cheers

AFAIU you are right.

Employed by desktop-save: a test, which would fail if desktop-save changes the 
current-buffer, should reveal the connected bug.

Thanks,

Andreas