Re: [patch] proposal tiny cleanup for window code

[Richard Stallman]

It could be that we can delete too_small_ok.  Or maybe it is a bug
that its value is not used.

I think the original aim of too_small_ok was that once a window was
allowed to get smaller than the normal minimum, it would forever
remain allowed to get smaller than the normal minimum.

It could be that the addition of `adjust-window-trailing-edge',
and the resulting simplification of functions to change the sizes
of lots of windows, made this idea unnecessary.  But it would
be best for someone to study the code and check that.