Manuel Ortega wrote: > While perusing $VIMRUNTIME/syntax/vim.vim, I noticed that many of the > "attributes" to the command ":command" can be abbreviated. Namely: > instance: > > -n[args] > -com[plete] > -ra[nge] > -cou[nt] > -re[gister] > -ban[g] > > I didn't ever know this before. No wonder! As far as I can tell, there > is nothing at all in the docs that says this can be done. It's not in > ":h :command" after scrolling down. It's not in usr_40.txt. Even > ":helpg" comes up empty when fed "-n=", "-ra=", etc. > > This is VERY useful info and I could really have used it years ago. > Please add it to the docs. It should be included in the relevant > subheadings of ":h :command", such as ":h command-nargs" and so forth. > > One shouldn't have to be poking through a super-complicated syntax file > to discover things like this :)
That these abbreviations work is an accident. I rather not document them. I could fix the code to make sure the full name is used, but that might break some existing scripts. I think leaving this undocumented is the best solution. The problem is that it's now tricky to add another argument, changing the order of the compares will change the abbreviations. If a new argument is added we can check the full word for that. -- hundred-and-one symptoms of being an internet addict: 101. U can read htis w/o ny porblm and cant figur eout Y its evn listd. /// 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.
