[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 16:13:38 +0100

> `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.

We could refuse pushing the mark when current and old position are the
same.  But obviously pushing the mark from a non-current buffer is not
very reasonable either.

IIRC all I tried was to emulate the behavior for window configurations.
What would you suggest instead?  Not save the mark in the first place?


reply via email to

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