real_len 709 src/filemanager/ext.c size_t real_len; real_len 712 src/filemanager/ext.c real_len = strlen (real_name); real_len 714 src/filemanager/ext.c if (strncmp (content_string, real_name, real_len) == 0) real_len 717 src/filemanager/ext.c content_shift = real_len;