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                681 src/filemanager/ext.c             char *pp;
pp                684 src/filemanager/ext.c             pp = strchr (encoding_id, '\n');
pp                685 src/filemanager/ext.c             if (pp != NULL)
pp                686 src/filemanager/ext.c                 *pp = '\0';
pp                701 src/filemanager/ext.c             char *pp;
pp                703 src/filemanager/ext.c             pp = strchr (content_string, '\n');
pp                704 src/filemanager/ext.c             if (pp != NULL)
pp                705 src/filemanager/ext.c                 *pp = '\0';