Re: set default case insensitive?
- From: Andrew Borodin <aborodin vmail ru>
- To: mc gnome org
- Cc: Felix Miata <mrmazda earthlink net>
- Subject: Re: set default case insensitive?
- Date: Fri, 16 Aug 2013 09:08:28 +0400
On Thu, 15 Aug 2013 10:23:03 -0400 Felix Miata <mrmazda earthlink net> wrote:
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....
You can read the "Key-value file parser" section of the GLib manual for details.
quick_search_case_sensitive is not a boolean key. This numeric value matched with the
Options/Panel options.../Quick search case.
$ 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?
Looks like trolling from you. If you use cat or less instead of grep, you see that
keys with same name are in different sections.
--
Andrew
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]