bug#19576: write-file writes the wrong buffer

[Anders Lindgren]

Hi,

I just tested the patch and I have verified that it works.

Thanks!

    -- Anders

On Tue, Nov 17, 2015 at 9:34 AM, martin rudalics <rudalics@gmx.at> wrote:

>> I'll try to get the fix of this bug applied there too.

I attach a fix for restoring current buffer and selected window (the
latter hopefully taking care of selecting the right frame).  Please tell
me whether it's sufficient for your purposes.

martin