Page 1 of 1

[0.18.9] Make case insensitive search

Posted: Wed Feb 26, 2020 9:37 pm
by Shadow_Man
Hello.
Please make the search in the production menu (E) (and in other places) case insensitive in locales other than English.
In my locale (Russian) it is case sensitive, and it's uncomfortable.

Re: [0.18.9] Make case insensitive search

Posted: Sat Feb 29, 2020 4:11 am
by ssilk
That’s bad. :cry:

-> Really simple to fix (I guess) and high game-play value.

And it’s in my opinion a bug. So I move this from suggestions to bug reports.

Ps: I guess from title, that it might have been moved already from bugs to suggestions, sorry, but I don’t see a reason in this case.

Re: [0.18.9] Make case insensitive search

Posted: Sat Feb 29, 2020 11:11 am
by Klonan

Re: [0.18.9] Make case insensitive search

Posted: Sat Feb 29, 2020 12:50 pm
by Oktokolo
Klonan wrote: Sat Feb 29, 2020 11:11 am Duplicate: viewtopic.php?t=60066
Czech has diacritics and lower/upper case too. So it probably does not even work right for most developers' native tongue.

Apart from the huge charset, Unicode also defines a few algorithms for working with text. One of them is the very flexible collation algorithm, wich works for most languages out of the box and is highly customizable. It is implemented in the well-known ICU.