[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
- [PATCH] window.el: Improve mark management, Jérémy Compostella, 2012/01/19
- Re: [PATCH] window.el: Improve mark management,
martin rudalics <=
- Re: [PATCH] window.el: Improve mark management, Stefan Monnier, 2012/01/20
- Re: [PATCH] window.el: Improve mark management, martin rudalics, 2012/01/20
- Re: [PATCH] window.el: Improve mark management, Jérémy Compostella, 2012/01/20
- Re: [PATCH] window.el: Improve mark management, Stefan Monnier, 2012/01/20
- Re: [PATCH] window.el: Improve mark management, Jérémy Compostella, 2012/01/21
- Re: [PATCH] window.el: Improve mark management, Stefan Monnier, 2012/01/24
- Re: [PATCH] window.el: Improve mark management, martin rudalics, 2012/01/25
- Re: [PATCH] window.el: Improve mark management, Stefan Monnier, 2012/01/25
- Re: [PATCH] window.el: Improve mark management, Jérémy Compostella, 2012/01/25