On 04/09/13 19:32, Ben Fritz wrote:
Windows 7: Start->Run... gvim -N -u NONE -i NONE
:help !!
I expect to see the help topic for normal-mode !!{filter} command, just above
:help v_!
Instead I'm taken to the help for :!!, 'Repeat the last ":!{cmd}".'
This is in Vim 7.4.0, but I don't see any description in patches 1-16 which
appears related.
On 7.4.16, :help !!<C-D> lists only :!! while :help !<C-D> lists :!! in
second position and doesn't list anything starting with an exclamation
mark. And yet the tags file includes (as its first two items) the tags !
and !! and finds them in change.txt with the search commands /*! and /*!!*
If I do :h change.txt followed by /\*!!\* I also find the correct place,
with the !!{filter} command and the *!!* tag definition.
I am using the old search engine ('re' is set to 1).
Using :%g/^! on the tags file shows that there are no other tags
starting with an exclamation mark, which is not surprising since the
tags file is sorted. In fact they follow each other in change.txt, at
lines 510 and 514.
Bram, I think this is a bug. Or maybe an initial exclamation mark in the
tags file, as in
!_TAG_FILE_SORTED
!_TAG_FILE_ENCODING
(which can be generated by ctags but, it seems, not by :helptags) means
a preprocessor line, not a tag definition line? Maybe Vim ought to use
!_ (bang-underscore), or even !_TAG_FILE_, but in any case not just !
(bang) in column 1 as the preprocessor line leader then. It could then
recognise ! and !! as tags.
Best regards,
Tony.
--
hundred-and-one symptoms of being an internet addict:
13. You refer to going to the bathroom as downloading.
--
--
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.
