History, case-insensitive

Have a suggestion for "Everything"? Please post it here.
Post Reply
therube
Posts: 2683
Joined: Thu Sep 03, 2009 6:48 pm

History, case-insensitive

Post by therube » Wed Apr 01, 2020 3:02 pm

Currently, History (Search History) is stored case sensitive.

Would it make sense for it to be stored cased insensitive?
As it is, 'Jethro Tull' & 'jethro tull' are stored (& counted) separately.

Results returned do not appear to be affected (that I'm seeing) by case?
(Well unless case: nocase: are specified.
Perhaps only store History with case sensitivity if case:/nocase: are specified?
But then case: itself is already store in History, I think?)

void
Site Admin
Posts: 5657
Joined: Fri Oct 16, 2009 11:31 pm

Re: History, case-insensitive

Post by void » Thu Apr 02, 2020 7:10 am

Currently, search history is case sensitive.

I'll consider storing search history as lower case (or add the option to do so).

Thanks for the suggestion.

therube
Posts: 2683
Joined: Thu Sep 03, 2009 6:48 pm

Re: History, case-insensitive

Post by therube » Mon Aug 31, 2020 3:09 pm

If History is insensitive, what do you do on odd time when you use a case: modifier in your search?
case:case

case:CASE

Might be an odd occurrence, but it is one case ;-) where sensitivity matters.

(That said, I'm still for insensitivity.
Rather not have everything revert to lower case, as at times, I'll particularly want to see certain items displayed case sensitive.
In particular with drive letters or particular directory names; so
C:/ TMP .sqlite
.
Not a big deal, just helps things to stand out.)

void
Site Admin
Posts: 5657
Joined: Fri Oct 16, 2009 11:31 pm

Re: History, case-insensitive

Post by void » Tue Sep 01, 2020 6:48 am

If History is insensitive, what do you do on odd time when you use a case: modifier in your search?
case:case
case:CASE
The latest search could update the search history to the correct case.
Only one of the case:abc or case:ABC search history entires could exist at one time.

Post Reply