Ben Fritz wrote:
> On Sunday, December 1, 2013 12:51:56 PM UTC-6, Ben Fritz wrote:
> > :help zd says, "this easily deletes more folds than you expect and there is
> > no undo."
> >
> > But if foldmethod is marker, undo/redo work just fine.
> >
> > I think this should be clarified to "this easily deletes more folds than
> > you expect and there is no undo when foldmethod=manual".
>
> I was going to post a separate post about the behavior in visual mode,
> but I realize now it's not a bug, I just misunderstood the help. This
> should be fixed too.
>
> Consider text:
>
> one two {{{
> three four }}}
>
> five six {{{
> seven eight
> nine ten {{{
> eleven twelve
> }}}
>
> Visually select all lines and press zd. All fold markers except for
> the one after "nine ten" get removed. This is actually correct since I
> did not use zD, I used zd. But the help text says:
>
> "In Visual mode all folds (partially) in the selected area are deleted."
>
> I think this should say:
>
> "In Visual mode one level of all folds (partially) in the selected
> area are deleted."
>
> Then it is clearer that you need to use a different command to delete
> ALL folds, i.e. use zD instead of zd.
Correct. I'll include the help change.
--
For a moment, nothing happened.
Then, after a second or so, nothing continued to happen.
-- Douglas Adams, "The Hitchhiker's Guide to the Galaxy"
/// 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/groups/opt_out.
