Re: Is it ok to use (redisplay), or should this be left to the experts?

[Stefan Monnier <monnier@iro.umontreal.ca>]

> The problem is that although full screen is activated before calculating the
> text width, (window-total-width) still reports the window width that existed
> before full screen was activated.

Adding a call to `redisplay` is fine to handle such cases.
This said, it may be insufficient (e.g. the window-manager may actually
execute the full-screen request asynchronously).

I think a better solution is to use window-size-change-functions in
order to detect when the window-total-width changes and only change the
text width at that point.


        Stefan