Christian Brabandt wrote:
> Hi Bram!
>
> On Fr, 01 Feb 2013, Bram Moolenaar wrote:
>
> >
> > Christian Brabandt wrote:
> >
> > > Hi François!
> > >
> > > On Fr, 01 Feb 2013, François Ingelrest wrote:
> > >
> > > > On Wed, Jan 30, 2013 at 12:31 PM, Bram Moolenaar wrote:
> > > > > This looks like a good solution. I'll include it. With Christian's
> > > > > addition.
> > > >
> > > > I think I found a case where the 'relativenumber' option is reset. I'm
> > > > sending this report in this thread, although I don't know if it's
> > > > caused by the recent changes to relativenumber:
> > > >
> > > > 1. vim -u NONE -U NONE
> > > > 2. :set number
> > > > 3. :set relativenumber
> > > > 4: :e .zshrc
> > > > 5: :e .zsh_history
> > > >
> > > > At step 4., relativenumber is on. At step 5., it's off. Not setting
> > > > number (step 3.) before relativenumber doesn't exhibit this behavior.
> > > >
> > > > This is with Vim 7.3.798, features=big, on a Debian Squeeze.
> > >
> > > Here is a patch.
> >
> > Thanks. Looks a bit tricky, perhaps we should have a test for this?
> > Won't be all that easy, I suppose.
>
> No problem.
Wonderful.
--
TIM: To the north there lies a cave, the cave of Caerbannog, wherein, carved
in mystic runes, upon the very living rock, the last words of Olfin
Bedwere of Rheged make plain the last resting place of the most Holy
Grail.
"Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD
/// 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.
