bug#19972: 24.4; Font size change doesn't update (window-total-width)

[martin rudalics]

> On my system (Elementary OS, which is based on Ubuntu, but uses a
> different graphical environment), the frame doesn't change its size.

Well, this was the missing link.

> Since the font size changes, there are fewer characters on a line,
> which, AFAIU, should be reflected in the value returned by
> `window-total-width'.

Correct.

martin