Dominique wrote:
> I was about to add a test for the tagfiles()
> function (currently not covered with tests)
> and I noticed something which does not look
> right:
>
> $ vim --clean
>
> :echo tagfiles()
> []
> :help
> :echo tagfiles()
> ['/usr/local/share/vim/vim81/doc/tags',
> '/usr/local/share/vim/vim81/doc/tags']
>
> Notice the duplicate entry reported by tagfiles().
> I assume that it's a bug, even if it does not seem to
> have bad consequences.
>
> f_tagfiles() calls get_tagfname() twice in loop.
> Each call to get_tagfname() result in
> /usr/local/share/vim/vim81/doc/tags
>
> It's probably easy to fix but I don't understand the
> logic in get_tagfname().
The problem appears to be that the tags file name derived from
'helpfile' is added unconditionally. It should check if it's already in
the growarray.
--
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/d/optout.
