[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#11360: ERC completion case-sensitive
From: |
Lars Ingebrigtsen |
Subject: |
bug#11360: ERC completion case-sensitive |
Date: |
Sat, 06 Feb 2016 14:17:30 +1100 |
User-agent: |
Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.1.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> erc-completion-ignore-case or completion-ignore-case is t. A specific
>> setting seems like a good idea because presumably some people will want
>> case-insensitive completion in erc but not elsewhere.
>
> There are 2 notions of "case-sensitivity" when it comes to completion:
> - whether the case is semantically significant in the end result
> (i.e. is "FirstName" another user than "firstname"?).
> - whether the user wants "FirstName" be considered as a valid candidate
> for completion of "fir".
>
> The current completion code somewhat conflates the two, but in terms of
> "what should Emacs do" the difference is important. Of course, the
> second consideration only applies when the first is true.
>
> So: is the case semantically significant, here?
irc retains case, but it doesn't use it to distinguish. That is, if you
have a nick "Larsi", you can't have a nick "larsi".
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no