[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: martin rudalics
Subject: Re: [PATCH] window.el: Improve mark management
Date: Fri, 20 Jan 2012 11:01:49 +0100

> First, `mark-active' save was missing in the `window-state-get'
> function.  Second, `window-state-put' restore the mark without taking
> 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.
> Please, review it or merge it,

Looks good to me.

I shall install this in a couple of days if no one objects.

Thanks, martin

reply via email to

[Prev in Thread] Current Thread [Next in Thread]