Christian Brabandt wrote:
> On Fr, 24 Mai 2013, Christian Brabandt wrote:
>
> > On Fr, 24 Mai 2013, Ein Brown wrote:
> >
> > > The SO question has more details:
> > > http://stackoverflow.com/questions/16592654/in-vim-why-is-move-randomly-corrupting-my-folds
> > >
> > > at the bottom of the SO question (under 'edit') I explain ways to run
> > > into the bug without the Alt-Up / Alt-Down mapping.
> >
> > I just saw the problem yesterday. Here is an simpler example of the bug:
> >
> > I think this patch fixes it.
> [...]
>
> No, it doesn't fix it completely. I'll look into it some more.
I accidentally included some of this in patch 7.3.1042.
I hope it doesn't cause any problems...
--
Far back in the mists of ancient time, in the great and glorious days of the
former Galactic Empire, life was wild, rich and largely tax free.
Mighty starships plied their way between exotic suns, seeking adventure and
reward among the furthest reaches of Galactic space. In those days, spirits
were brave, the stakes were high, men were real men, women were real women
and small furry creatures from Alpha Centauri were real small furry creatures
from Alpha Centauri. And all dared to brave unknown terrors, to do mighty
deeds, to boldly split infinitives that no man had split before -- and thus
was the Empire forged.
-- 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.
