On Friday, October 16, 2015 at 12:48:01 PM UTC-4, Gary Johnson wrote:
> I never want to use 'ignorecase' when searching for a tag. If the
> cursor is over the symbol "cat" and I type Ctrl-], I want to find
> the definition of "cat", not of "Cat" or "CAT". Similarly, I don't
> want tag-name expansion to ignore case.
>
> However, I do like to use 'smartcase' (which requires setting
> 'ignorecase') for searching with "/" or "?".
>
> I've patched the copy of Vim I use at work to ignore the setting of
> 'ignorecase' for tag searches and to always search case-sensitively.
> I would like not to have to keep doing this but I realize that
> changing the default behavior of tag searches is a non-starter.
>
> Consequently, I propose a new option, 'tagignorecase':
>
> *'tagignorecase'* *'tic'*
> 'tagignorecase' 'tic' string (default "")
> global
> {not in Vi}
> This option specifies how case is handled when searching
> the tags file:
> <empty> Follow the 'ignorecase' option
> ignorecase Ignore case
> noignorecase Do not ignore case
>
> A patch is attached. The patch applies to too much--it includes
> some runtime files that are managed by their owners--but I think it
> covers everything that would need to be changed to include this
> option.
>
> I've been thinking more about the name. I chose 'tagignorecase'
> because it is similar to almost all the other options that control
> case sensitivity. However, those are all boolean options. I think
> a better name might be 'tagcase'. It captures the meaning without
> the implication that it is a boolean.
>
> Since this is still at the early proposal stage, I just left the
> original name in the proposal and in the patch.
>
> Regards,
> Gary
Bram -
Do you expect to accept this patch sometime soon?
--
--
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.
