Re: [PATCH] window.el: Improve mark management

[Stefan Monnier]

> into account the previously set mark(s). It looks better to use
> `push-mark' instead of `set-mark'. Moreover it does not restore the
> active mark state which lead to an automatically active mark in
> restored buffer.

`push-mark' is wrong if nothing happened between window-state-get and
window-state-put.
And the mark & mark-active are buffer-local but not window-local.
If we window-state-get in a frame which shows the same buffer several
times, window-state-put would end up pushing the same mark several times.


        Stefan