On 05.06.13 09:15, Christian Brabandt wrote:
> On Wed, June 5, 2013 09:05, Erik Christiansen wrote:
> > There's a minor variant which also works. I've adopted the practice of:
> >
> > zM<right-arrow> # Or zMl, if you're a hjkl-er.
> >
> > to close all folds, then open the current one. Since <right-arrow> is
> > what I use for opening a fold in the first place, it's used often enough
> > that I don't sit there wondering which z-whatsit I'm trying to remember
> > for the less common use-case.
>
> That only works, if the cursor is not on the last char of the current line
> (in which case right-arrow is a noop and therefore doesn't open the fold).
> It might work with :set ve=onemore however.
That's surely an alternative, but it already works for me, because I
have: whichwrap=<,>,[,]
(It'll be '>' which is facilitating it, IIUC.)
> I have reported this a bug to Bram (and even provided a fix), but Bram
> didn't want to change it.
That seems fine. If there is anyone who cannot tolerate cursor wrapping,
but absolutely needs the shorter and (IME) more easily remembered
zM<right-arrow> form, then your option is the way forward. ISTM that
Vim is admirably (and _almost_ perfectly) configurable.
<Apropos_Perfection>
Now, if the new regex engine for Vim 7.4 supports Posix EREs, without
the need for leading "\v", e.g. with a config selection instead, then
Vim is Purrrrfect! :-)
</Apropos_Perfection>
Erik
(Who still can't get over how niftily Vim's folding works.)
--
Very few things happen at the right time, and the rest do not happen at all.
The conscientious historian will correct these defects.
- Mark Twain, in "A Horse's Tale"
--
--
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to vim_use+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
