Re: address@hidden: check_min_window_sizes]

[Chong Yidong]

Richard Stallman <address@hidden> writes:

> [I sent this message a week ago but did not get a response.]
>
>     That's a bug in `mouse-drag-vertical-line'.  It can be reproduced by
>     removing fringes and customizing window-min-width to 2.  If you now
>     split a window horizontally and drag the vertical divider such that the
>     right window shrinks to its minimum width you can't enlarge it anymore.
>
>     The bug occurs because `mouse-drag-vertical-line' compares coordinates
>     returned by `window-edges' with `frame-width'.  I believe that
>     `window-inside-edges' should be used here, see the attached patch.
>
> Does anyone see a problem in Martin's patch?

Apparently not.