OS_SORT_CASE_SENSITIVE_DEFAULT   71 src/filemanager/dir.c static gboolean case_sensitive = OS_SORT_CASE_SENSITIVE_DEFAULT;
OS_SORT_CASE_SENSITIVE_DEFAULT 1129 src/setup.c            mc_global.panels_config, section, "case_sensitive", OS_SORT_CASE_SENSITIVE_DEFAULT);