Thank you to both of you.
Great, thank you,>>> `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'.
Stefan