[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] window.el: Improve mark management
From: |
Jérémy Compostella |
Subject: |
[PATCH] window.el: Improve mark management |
Date: |
Thu, 19 Jan 2012 20:43:28 +0100 |
All,
I think the current window.el `window-state-get' and `window-state-put'
function does not manage the mark well.
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,
Best Regards,
Jérémy
0001-window.el-Improve-mark-management.patch
Description: [PATCH] window.el: Improve mark management
- [PATCH] window.el: Improve mark management,
Jérémy Compostella <=
- Re: [PATCH] window.el: Improve mark management, martin rudalics, 2012/01/20
- 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