Hi Bram!
On Mi, 17 Jun 2015, Bram Moolenaar wrote:
>
> Christian Brabandt wrote:
>
> > On Mo, 15 Jun 2015, Bohr Shaw wrote:
> >
> > > This is how to reproduce:
> > >
> > > vim -Nu NORC
> > > :help|wincmd w|1quit
> > >
> > > I expect to quit the HELP window, but two windows are both quit and
> > > vim exits. If I leave out "wincmd w", it works as expected.
> >
> > Hm, I am not sure, how this is supposed to work.
> >
> > I find it often hard to predict, when Vim is going to be quit. So I
> > always expect the latter.
> >
> > Nevertheless here is a patch, including a test, that fixes that. The
> > behaviour changes slightly:
> >
> > command 7.4 patched
> > :h|wincmd w|:q - quits quits
> > :h|only|:q - quits quits
> > :h|wincmd w|:1q - quits does only close help window
> > :h|wincmd w|:.q - quits leaves help window open
>
> Thanks for the patch. I'm not sure why you changed the last one in the
> list, ":.q" closes the normal window, this is expected to then exit Vim,
> since the help window isn't important.
I didn't change it intentionally, it's a side effect of that patch.
However, I have a feeling that this is correct behaviour, because when
doing :.q I would expect only to quit the current window as I explititly
told Vim to only quit the current window. :q can still quit Vim even
when a help window is active.
But I can understand, that this might be controversial. OTOH, I don't
think anybody is really using :.q anyhow.
Best,
Christian
--
Die Urteile der Männer über Menschen wägen den Gehalt bloß ab, um
Kenntnis zu haben; die der Weiber über Menschen, um zu lieben oder zu
hassen; daher jene vielseitiger sind.
-- Jean Paul
--
--
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.
