Re: set default case insensitive?

[Felix Miata <mrmazda earthlink net>]

On 2013-08-15 13:48 (GMT+0400) Andrew Borodin composed:

> On Thu, 15 Aug 2013 04:37:55 -0400 Felix Miata wrote:

> > Looking through ini there are several lines containing string case. Some are
> > true/false, but others use numbers.

> True and 1 are same, false and 0 too.

Makes perfect sense. True=yes=1=OK, False=no=0=nack. More situations should 
accept the full set. The problem I have is seeing any other number....

> > Is there something that can be done to make case insensitive by default,
> > opposite what it is now?

> Case insensitive by default where?

Aka case sensitive = off. Find File, for both file name and for content.

$ grep case ini
quick_search_case_sensitive=2
case_sensitive=1
case_sensitive=1
file_case_sens=false
content_case_sens=false

Why the duplication?
--
"The wise are known for their understanding, and pleasant
words are persuasive." Proverbs 16:21 (New Living Translation)

 Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata  ***  http://fm.no-ip.com/