Re: VC check-in and window configuration

[Richard Stallman]

      Back then, the consensus seemed to be that it's just not
    possible to decide what is the "right thing" to do in this situation,
    and that things might as well be left as they are.

That is what I think.  Restoring the previous window configuration
would be the right thing in some special cases, but it would be wierd
and counterintuitive if the user has made some other changes in the
window configuration in the mean time.