Re: Window configurations

[martin rudalics]

> This list is not a "sworn statement about history".  It's just
> a data-structure where we record some state so as to help some heuristic
> make decisions.  Modifying it won't get us trapped in a time warp.

Surely not.  The list isn't very useful anyway after a longer window
excursion.

> I don't have much opinion about whether it's worth mentioning in the
> manual, but I really can't think of any reason why we should
> prevent modification.

Maybe Juri has an argument why modifying it _is_ useful.

martin