pp                576 lib/widget/input.c         char *pp;
pp                578 lib/widget/input.c         for (pp = p; *pp != '\0'; pp++)
pp                579 lib/widget/input.c             insert_char (in, *pp);
pp                698 src/filemanager/ext.c             char *pp;
pp                701 src/filemanager/ext.c             pp = strchr (encoding_id, '\n');
pp                702 src/filemanager/ext.c             if (pp != NULL)
pp                703 src/filemanager/ext.c                 *pp = '\0';
pp                719 src/filemanager/ext.c             char *pp;
pp                721 src/filemanager/ext.c             pp = strchr (content_string, '\n');
pp                722 src/filemanager/ext.c             if (pp != NULL)
pp                723 src/filemanager/ext.c                 *pp = '\0';