real_len          718 src/filemanager/ext.c                 size_t real_len;
real_len          721 src/filemanager/ext.c                 real_len = strlen (real_name);
real_len          723 src/filemanager/ext.c                 if (strncmp (content_string, real_name, real_len) == 0)
real_len          726 src/filemanager/ext.c                     content_shift = real_len;