Re: face-remap.el patch to resize window

[Stefan Monnier]

> Doesn't it make sense to resize the window to take advantage of space
> freed up when text is scaled smaller? As an option at least?

To me the fact that text-scale-increase doesn't change the window's
size is one of its greatest features.  Resizing windows is the job of
the window-manager (and most of my window's sizes are dicated by the
screen size).
But if people like it, I won't object to this feature as an option, as
long as it's well integrated.


        Stefan