Yukihiro Nakadaira wrote:

> --047d7bdc801adb733f04fe52c63e
> Content-Type: text/plain; charset=UTF-8
> 
> On Thu, Jul 17, 2014 at 1:53 AM, Yukihiro Nakadaira <
> [email protected]> wrote:
> 
> > On Thu, Jul 17, 2014 at 1:38 AM, Yukihiro Nakadaira <
> > [email protected]> wrote:
> >
> >>
> >> On Thu, Jul 17, 2014 at 1:19 AM, Bram Moolenaar <[email protected]>
> >> wrote:
> >>
> >>>
> >>> Patch 7.4.372
> >>> Problem:    When 'winminheight' is zero there might not be one line for
> >>> the
> >>>             current window.
> >>> Solution:   Change the size computations. (Yukihiro Nakadaira)
> >>> Files:      src/window.c
> >>>
> >>
> >> I'm sorry, this patch have a bug.  Please revert for now.
> >>
> >> $ vim -u NONE -N
> >> :set winminwidth=0 winminheight=0
> >> :while 1 | split | endwhile
> >> :topleft vsplit
> >> :split
> >> E36: Not enough room
> >> Expected: split the window
> >>
> >
> > I'm sorry, this behavior is not due to this patch.  This seems original
> > behavior.  hmm...
> >
> 
> With or without this patch, split will fail when 'winminheight' is non-zero.
> 
> $ vim -u NONE -N
> :set winminheight=1
> :while 1 | split | endwhile
> :topleft vsplit
> :split
> E36: Not enough room

I'll add it on the todo list.

-- 
"I love deadlines.  I especially like the whooshing sound they
make as they go flying by."
                         -- Douglas Adams

 /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net   \\\
///        sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\  an exciting new programming language -- http://www.Zimbu.org        ///
 \\\            help me help AIDS victims -- http://ICCF-Holland.org    ///

-- 
-- 
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

--- 
You received this message because you are subscribed to the Google Groups 
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Raspunde prin e-mail lui