Re: address@hidden: check_min_window_sizes]

[Richard M. Stallman]

    On second thought, the patch I posted was the wrong fix.  I believe
    this one is correct (basically, size_window was checking for a
    safe_min_size that included the width of window fringes and
    scrollbars, but window_min_size_1 did not check for it).

This looks like the right kind of fix to me.