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

[martin rudalics]

>> On a per-buffer basis.  The height of the default face is unaffected
>> here.
>
> We both talk about the "default face", but mean 2 different things, it
> seems.  I mean the face that is referenced by 'default'.

Hmm... I'm lost.  Which face is referenced by the default face?  From
the manual I only know that "all other faces implicitly inherit from
it".  Probably that's the clue of face remappping ...

martin