OS_SORT_CASE_SENSITIVE_DEFAULT 71 src/filemanager/dir.c static gboolean case_sensitive = OS_SORT_CASE_SENSITIVE_DEFAULT; OS_SORT_CASE_SENSITIVE_DEFAULT 1139 src/setup.c OS_SORT_CASE_SENSITIVE_DEFAULT);