bug#19194: 24.4.50; `window-body-width' is not dynamic relative to font size changes

[Eli Zaretskii]

> Date: Thu, 27 Nov 2014 10:44:56 +0100
> From: martin rudalics <rudalics@gmx.at>
> 
> (defun text-scale-adjust (inc)
>    "Adjust the height of the default face by INC.
> 
> AFAICT this does not change the height of the default face - it affects
> how the display engine calculates the height of text when displaying a
> buffer current at the time `text-scale-adjust' was called.

No, it works via face remapping, see text-scale-mode.  IOW, it does
change the height of the default face by replacing it with another
face.