Re: How to restore the layout?

[martin rudalics]

> I see no need for anything as complicated as this.  Just restore each
> frame to their recorder size if possible, and let it have some other
> size (determined by the window manager) if not.

This would mean that a maximized frame occupies the entire screen after
it has been demaximized.

martin