From: Torsten D. <To...@t3...> - 2008-06-02 20:53:09
|
Am Montag, 2. Juni 2008 schrieb Melchior FRANZ: > * Stuart Buchanan -- Monday 02 June 2008: > > Nevertheless, I think these are acceptable numbers for a 3 character > > string. The user can easily perform a more specific search on receiving > > a large number of results. > > As I told on IRC already, the current case-sensitive behavior wasn't > an accident or laziness. It allowed a more precise search string with > less hits. This seemed useful at times where airport names were > consistently and correctly capitalized. Unfortunately, current apt.dat > is a complete mess in this regard, so case-sensitivity turned into > a disadvantage, and I agree that case-insensitivity is now desirable. > (Well, fixing apt.dat would be even better, but not in our responsibility.) Maybe a litte checkbox named "Case sensitive search" might give the user the freedom of choice? This adds one option without dropping the other. Torsten |