[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


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,


Attachment: 0001-window.el-Improve-mark-management.patch
Description: [PATCH] window.el: Improve mark management

reply via email to

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