pp                575 lib/widget/input.c         char *pp;
pp                577 lib/widget/input.c         for (pp = p; *pp != '\0'; pp++)
pp                578 lib/widget/input.c             insert_char (in, *pp);
pp                677 src/filemanager/ext.c             char *pp;
pp                680 src/filemanager/ext.c             pp = strchr (encoding_id, '\n');
pp                681 src/filemanager/ext.c             if (pp != NULL)
pp                682 src/filemanager/ext.c                 *pp = '\0';
pp                698 src/filemanager/ext.c             char *pp;
pp                700 src/filemanager/ext.c             pp = strchr (content_string, '\n');
pp                701 src/filemanager/ext.c             if (pp != NULL)
pp                702 src/filemanager/ext.c                 *pp = '\0';