[Top][All Lists]

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

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

From: Jérémy Compostella
Subject: Re: [PATCH] window.el: Improve mark management
Date: Wed, 25 Jan 2012 16:01:44 +0100

Thank you to both of you.


2012/1/25 Stefan Monnier <address@hidden>
>>> `window-state-get' and `window-state-put' should not deal
>>> with mark as it's not relevant at all and leads to an unexpected
>>> behavior from user point of view.
>> I tend to agree.  Martin, what do you think?
> I agree as well.  I'll also remove the parts dealing with
> `window-size-fixed'.

Great, thank you,


« Si debugger, c'est supprimer des bugs, alors programmer ne peut être que les ajouter » - Edsger Dijkstra

reply via email to

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