[PATCH] Bug 4170: Window not closed when saved on close

[Uwe Stöhr]

> http://bugzilla.lyx.org/show_bug.cgi?id=4170
>
> The patch fixes the bug. Please test.

I tested this and it works as expected.

regards Uwe