Yegappan wrote:
> On Sun, Feb 11, 2018 at 12:27 PM, lacygoill <[email protected]> wrote:
> > Sorry, I think I was wrong. The patch did have a positive effect, but the
> > issue doesn't not seem to be completely fixed. You don't have to execute
> > :jumps anymore, but the output of getjumplist() is still not always
> > consistent.
> >
>
> It looks like when reading the jump list from the .viminfo file, the file
> names
> are not converted to buffer numbers. The buffer numbers are needed to remove
> the duplicate entries from the jump list. When running the
> getjumplist() or the ":jumps"
> command the files are loaded. The next time, when you invoke the command again
> the duplicate entries are correctly removed.
>
> Can you try the attached patch?
I would think this is also needed in ex_jumps(), since it has the same
problem. Thus might as well move this code into cleanup_jumplist().
Is there any place where cleanup_jumplist() is called where we don't
actually want to create the buffers? Perhaps in
write_viminfo_filemarks() we can skip it.
--
ARTHUR: You fight with the strength of many men, Sir knight.
I am Arthur, King of the Britons. [pause]
I seek the finest and the bravest knights in the land to join me
in my Court of Camelot. [pause]
You have proved yourself worthy; will you join me? [pause]
You make me sad. So be it. Come, Patsy.
BLACK KNIGHT: None shall pass.
The Quest for the Holy Grail (Monty Python)
/// 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/d/optout.
